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