"contributions and any other benefit received under the West Virginia public employees retirement system, the West Virginia" . . . .