ماهو الرمز البريدي foz do barranco 8550?