/Dims.pmod/1.3/Sun Sep 29 20:51:11 2002//
/Fonts.pmod/1.10/Mon Jan 20 17:44:02 2003//
/module.pmod/1.41/Sun Jul 10 14:50:56 2005//
D
