Código postal de Ejido el Barrancón en Tanlajás, San Luis Potosí, México