document.write('345012\n');