document.write('9272\n');