/* _dict.cc 31/03/1998 00.02.32 */
/* treemenu.cc 28/08/2000 18.15.04 */