Código postal de Xochimilco en Tecamachalco, Puebla, México