document.write('1374\n');