document.write('345062\n');