Se abonan 22 mil 242 millones de pesos al ahorro de los trabajadores en Infonavit (Infonavit, 2005)