document.write('21337\n');