document.write('344992\n');