document.write('1280\n');