K 10 svn:author V 3 jkh K 8 svn:date V 27 1997-10-05T22:31:40.000000Z K 7 svn:log V 73 Turn NODOC back on - this is going to take a bit more work to get right. END