¿Cómo queda la jubilación de los funcionarios?