document.write('1317\n');