"CEO pay rises to $9.7 million on average in 2012."
That will be total remuneration including stock options and bonuses.
Look at basic salaries.
You need to compare him to his peers in his own sector. Compare his salary to that of the CEO's of tech companies.