ماهو الرمز البريدي castelo (san pedro)?