/cgi.pike/1.87/Mon May 25 22:09:09 1998//
/pikescript.pike/1.26/Sun May 31 18:17:55 1998//
/newpikescript.pike/1.6/Mon Jun  1 14:09:28 1998//
/fcgi.pike/1.16/Wed Jun 10 14:47:31 1998//
D
