The employee's earnings and service records are frozen at the time the employee's employment terminates. When the employee reaches age 65, the employee will then be eligible for a pension which will be calculated using earning and service the employee had at termination of employment. Also, the pension formula to be used will be the one which is in effect when the employee's employment terminated.