What is lomas de cristo Postal Code?

Postal Code of lomas de cristo is 72723