K 10 svn:author V 5 wosch K 8 svn:date V 27 1997-07-09T20:38:19.000000Z K 7 svn:log V 51 Delete $Id$ line from copyright. Submitted: Bruce END