ماهو الرمز البريدي castelo de rei (san salvador)?