extern void DE_AddDeh(char * name);