$(document).ready(function() {
	prettyPrint();
});