32a0e42017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.0.469';
6a43612017-08-28Per Cederqvist PikeDoc.PUBDATE = '2017-08-28'; PikeDoc.GENERATED = 1512068513;