document.write('9525\n');