document.write('345093\n');