Among the coaches who have gotten in the Hall of Fame, how many of them have a weight of over 195?
weight of over 195 refers to weight>195
SELECT COUNT(DISTINCT T1.coachID) FROM Master AS T1 INNER JOIN HOF AS T2 ON T1.hofID = T2.hofID WHERE T1.weight > 195