Question: Among the people who got into the Hall of Fame after the year 1980, how many of them belong to the category of "Player"?
SQL: SELECT COUNT(hofID) FROM HOF WHERE year > 1980 AND category = 'Player'