ماهو الرمز البريدي casas, os (san xoan)?