ماهو الرمز البريدي el cedro (mineral del cedro)?