document.write('2400\n');