document.write('1667\n');