ماهو الرمز البريدي republica de arriba?