document.write('345092\n');