document.write('345023\n');