document.write('1386\n');