K 10 svn:author V 7 wollman K 8 svn:date V 27 1996-06-17T20:04:06.000000Z K 7 svn:log V 60 Correct date and add $Id$ to reflect previous modification. END