document.write('2250\n');