ماهو الرمز البريدي minas de ervedosa 5335?