$(function(){

prettify_results();

});