ماهو الرمز البريدي penedo (san tirso de mabegondo abegondo)?