CEO Tim Cook made $4.25 million in 2013 for leading Apple, the company reported Friday in financial documents.

Apple noted the figure in its preliminary proxy statement, along with the compensation of its top executives, who got about $2.6 million a piece. The amounts are all a tiny fraction of what the company gets from sales.

Cook's pay included a base salary of $1.4 million, more than $53,000 worth of benefits, and a $2.8 million bonus, which is the maximum bonus Apple could give him.