how many ice hockey coaches are there who coached the team that is currently coached by florida everblades?
(COUNT (AND ice_hockey.hockey_coach (JOIN ice_hockey.hockey_coach.current_team m.04245v)))