ماهو الرمز البريدي ribeiras do sor, as (san cristovo)?