d6c36b2018-05-01Stephen R. van den Berg PikeDoc.VERSION = 'Pike v8.1.13';
2af9c82018-03-04Arne Goedeke PikeDoc.PUBDATE = '2018-11-04';
ceed0a2018-11-04Arne Goedeke PikeDoc.GENERATED = 1541331428;