/Query.pike/1.77/Sat Oct  8 18:57:16 2005//
/Session.pike/1.16/Tue Jun  8 15:07:52 2004//
/module.pmod/1.45/Wed Mar 31 02:05:38 2004//
D/Server.pmod////
