document.write('1671\n');