(function () {
	
})(jQuery);

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