$('#jobs_table').hide(); $('#job_details').hide(); $('#help').hide();  
function getServerDetails () {    $('#jobs_table').hide();    $('#job_details').hide();    $('#help').hide();    $('#server_details').load('get_server_details');    $('#server_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