/pr19951.cc/1.2/Thu Mar 31 18:34:13 2005//
/pr21734_1.cc/1.1/Thu Jun  2 14:52:18 2005//
/pr21734_2.cc/1.1/Thu Jun  2 14:52:18 2005//
/vect.exp/1.2/Sat Jun 25 01:45:11 2005//
D
