document.write('3280\n');