document.write('1318\n');