What is colonia dieciseis de octubre Postal Code?

Postal Code of colonia dieciseis de octubre is 9200