/* - onload.js - */
addEventListener('load', function (event) { prettyPrint(); }, false);