d6c36b2018-05-01Stephen R. van den Berg PikeDoc.VERSION = 'Pike v8.1.13';
b4864b2020-05-29Tobias S. Josefowitz PikeDoc.PUBDATE = '2020-05-29';
42c3be2020-05-22Chris Angelico PikeDoc.GENERATED = 1590746579;