D/binders////
/comparisons.cc/1.2/Wed Aug 17 05:21:53 2005//
