A possible extension of retirement age to 65