ماهو الرمز البريدي puerto del zamandoque?