what is the total number of amusement park areas in both hong kong disneyland and florida?
(COUNT (AND amusement_parks.amusement_park_area (AND (JOIN amusement_parks.amusement_park_area.parks m.02mv6p) (JOIN amusement_parks.amusement_park_area.parks m.022zvr))))