/1.cc/1.5/Wed Aug 17 02:19:08 2005//
/2.cc/1.5/Wed Aug 17 02:19:08 2005//
/swap.cc/1.4/Wed Aug 17 02:19:08 2005//
D/insert////
