/Encode.pmod/1.2/Sun Nov 30 21:20:50 1997//
/decode.pike/1.2/Mon Apr 27 21:56:27 1998//
D
