K 10 svn:author V 3 phk K 8 svn:date V 27 1995-02-24T05:41:24.000000Z K 7 svn:log V 134 I (phk) blundered with the last change. Make it right & better now. Reviewed by: phk Submitted by: John Hay END