ماهو الرمز البريدي florida (las penas, dpto. choya)?