What is san ildefonso Postal Code?

Postal Code of san ildefonso is 3010