/Base.pike/1.1/Thu Dec 22 19:47:12 2005//
/JavaScript.pike/1.1/Thu Dec 22 02:26:47 2005//
/Basic.pike/1.5/Tue Jan 17 02:08:40 2006//
D
