ماهو الرمز البريدي el toro pinto?