list the total number of awards of the musicals who have won list of university of florida athletic hall of fame members ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_award dbr_List_of_University_of_Florida_Athletic_Hall_of_Fame_members sep_dot var_x dbo_award var_uri brack_close