document.write('2280\n');