K 10 svn:author V 6 jlemon K 8 svn:date V 27 2000-08-01T04:27:50.000000Z K 7 svn:log V 132 Back out rev 1.12; its not clear that this is the right thing to do, and in any event, it wasn't done correctly in the first place. END