document.write('2240\n');