document.write('1367\n');