if(e = $('ajax_progress')) e.style.display = "none"; 
if(e = $('ajax-progress')) e.style.display = "none"; 
    hideSpinner: function() {        if(e = $('ajax_progress')) e.style.display = "none";    },
3009	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3009/677b3e9041209bb37e5682483e8f493ebd8a5aaa/hobo_rapid.js/clean/hobo/generators/hobo_rapid/templates/hobo_rapid.js