document.write('1720\n');