ماهو الرمز البريدي san pedro de ribeira?