The formula on that page is a fixed benefit based, not on average salary, but the average salary at the end of the teacher's career - last five years.

This is nothing like a 401k.