$('#jobs_table').show(); 
  $('#navigator > a').css('color', 'black') $('#' + c).css('color', 'red') 
function getJobs (c) {    count = c    $('#server_details').hide();    $('#job_details').hide();    $('#help').hide();    $('#jobs_table').load('get_jobs', {'count': count}, function() {            $("#jobs_table").tablesorter(); } );    $('#jobs_table').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