ماهو الرمز البريدي lira de bocas?