ماهو الرمز البريدي espinoso del rey?