What was the player's jersey number when they were inducted into the Richmond Hall of Fame? 1 Feb 2023