// Function which swaps display between tabs
      var sectionName = "A5";
      
      function changeTab (tabID) {
      if (isvalidTab(tabID))
      {
          // toggle the tab images
          document.getElementById('tab_about').style.display = 'none';
          document.getElementById('tab_details').style.display = 'none';

          document.getElementById('tab_code').style.display = 'none';
          document.getElementById('tab_output').style.display = 'none';
          document.getElementById('tab_results').style.display = 'none';
          document.getElementById('tab_downloads').style.display = 'none';
          document.getElementById('tab_hotfix').style.display = 'none';
          document.getElementById('tab_rateit').style.display = 'none';
          document.getElementById('tab_'+tabID).style.display = 'block';

          // toggle the divs on and off
          if (document.getElementById('tabnav_about')!=undefined)
          {document.getElementById('tabnav_about').src = '/images/samples/about.gif';}
          if (document.getElementById('tabnav_details')!=undefined)
          {document.getElementById('tabnav_details').src = '/images/samples/details.gif';}
          if (document.getElementById('tabnav_code')!=undefined)
          {document.getElementById('tabnav_code').src = '/images/samples/code.gif';}
          if (document.getElementById('tabnav_output')!=undefined)
          {document.getElementById('tabnav_output').src = '/images/samples/output.gif';}
          if (document.getElementById('tabnav_results')!=undefined)
          {document.getElementById('tabnav_results').src = '/images/samples/results.gif';}
          if (document.getElementById('tabnav_downloads')!=undefined)
          {document.getElementById('tabnav_downloads').src = '/images/samples/downloads.gif';}
          if (document.getElementById('tabnav_hotfix')!=undefined)
          {document.getElementById('tabnav_hotfix').src = '/images/samples/hotfix.gif';}
          if (document.getElementById('tabnav_rateit')!=undefined)
          {document.getElementById('tabnav_rateit').src = '/images/samples/rateit.gif';}

          document.getElementById('tabnav_'+tabID).src = '/images/samples/'+tabID+'_sel.gif';
        }
      }
      
      function isvalidTab (tabID) {
        if (tabID == 'about' || tabID == 'details' || tabID == 'code' || tabID == 'output' 
            || tabID == 'results' || tabID == 'downloads' || tabID == 'hotfix' || tabID == 'rateit' )  {
            return true; }
          else { return false; }
      }