$('#jobs_table').hide(); $('#server_details').hide(); $('#help').hide(); 
function getJobDetails (job_id) {    $('#jobs_table').hide();    $('#server_details').hide();    $('#help').hide();    $('#job_details').load('get_details', {'job_id': job_id}, function() {                                        $("#job_details").tablesorter(); } );    $('#job_details').show();}
7009	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7009/f58a9f17b8a62d258cc34ca70269b3134d1a2f71/dsage_web.js/clean/src/sage/dsage/web/static/dsage_web.js