d6c36b2018-05-01Stephen R. van den Berg PikeDoc.VERSION = 'Pike v8.1.13';
a64a312019-06-11Stephen R. van den Berg PikeDoc.PUBDATE = '2019-06-14';
fbfb632019-06-11Stephen R. van den Berg PikeDoc.GENERATED = 1561721300;