/comparisons.cc/1.1/Mon Oct 25 19:05:57 2004//
D
