ماهو الرمز البريدي manduas (san tirso)?