window.onload = function () {
	prettyPrint();
};