RECORD BOX-OFFICE BATMAN