document.write('1400\n');