What is the average salary of NFL players in 1968?

just saw an interview on ESPN with a defensive end from the nfl champion colts from 1958, said he made $13,000 for the season, got a $2000 raise after they won the title. That total seems high to me, but that is what he said.