what was the batting average of this baseball player who played for the mlb team that won nine world series championships ?
.250