ماهو الرمز البريدي rosal de la frontera?