ماهو الرمز البريدي mazaricos (san xoan)?