<P> The word Cooperstown is often used as shorthand (or a metonym) for the National Baseball Hall of Fame and Museum, just as the expression "Hall of Fame" is understood to mean the National Baseball Hall of Fame . </P> <P> Jeff Idelson is the acting president since March 25, 2008, when Dale Petroskey was forced to resign for "fail (ing) to exercise proper fiduciary responsibility" while making "judgments that were not in the best interest of the National Baseball Hall of Fame and Museum ." </P> <Table> <Tr> <Th> Player </Th> <Th> Position </Th> <Th> Years active </Th> <Th> AVG </Th> <Th> </Th> <Th> HR </Th> <Th> RBI </Th> <Th> Year Inducted into the National Baseball Hall of Fame </Th> </Tr> <Tr> <Td> Jimmy Collins </Td> <Td> Third Base </Td> <Td> 1895 - 1908 </Td> <Td>. 285 </Td> <Td> 1999 </Td> <Td> 65 </Td> <Td> 983 </Td> <Td> 1945 </Td> </Tr> <Tr> <Td> Wade Boggs </Td> <Td> Third baseman </Td> <Td> 1982--1999 </Td> <Td>. 328 </Td> <Td> 3010 </Td> <Td> 118 </Td> <Td> 1014 </Td> <Td> 2005 </Td> </Tr> <Tr> <Td> Ted Williams </Td> <Td> Left Field </Td> <Td> 1938--1942, 1946, 1960 </Td> <Td>. 355 </Td> <Td> 2654 </Td> <Td> 521 </Td> <Td> 1839 </Td> <Td> 1966 </Td> </Tr> </Table> <Tr> <Th> Player </Th> <Th> Position </Th> <Th> Years active </Th> <Th> AVG </Th> <Th> </Th> <Th> HR </Th> <Th> RBI </Th> <Th> Year Inducted into the National Baseball Hall of Fame </Th> </Tr>

How many red sox players are in the hall of fame
find me the text answering this question