3e2d542019-01-21Chris Angelico PikeDoc.VERSION = 'Pike v8.0.747'; PikeDoc.PUBDATE = '2019-01-21'; PikeDoc.GENERATED = 1548176848;