document.write('1378\n');