ماهو الرمز البريدي minas del real?