document.write('1670\n');