K 10 svn:author V 5 luigi K 8 svn:date V 27 2001-10-14T06:54:27.000000Z K 7 svn:log V 108 Back out previous commit, I did not notice there is already a machine independent way to do this in CURRENT END