document.write('9294\n');