document.write('345072\n');