What is infonavit abc Postal Code?

Postal Code of infonavit abc is 80378