document.write('345008\n');