/dictionary.hh/1.7/Sun Sep 21 15:29:41 2003//
/dictionary.cc/1.7/Mon Sep 22 13:31:25 2003//
D
