What is santa teresa de los muchachos Postal Code?

Postal Code of santa teresa de los muchachos is 25302