ماهو الرمز البريدي ribas de mino (san esteban) (savinao)?