//<![CDATA[

// Preload the on states of the tabs for quicker response
hubtab6 = new Image();
hubtab6.src = "./images/hubtab6_on.gif";
hubtab7 = new Image();
hubtab7.src = "./images/hubtab7_on.gif";
hubtab8 = new Image();
hubtab8.src = "./images/hubtab8_on.gif";
hubtab9 = new Image();
hubtab9.src = "./images/hubtab9_on.gif";
hubtab10 = new Image();
hubtab10.src = "./images/hubtab10_on.gif";

// Function which actually swaps tabs
function changeGreenTab3 (tabname) {
document.getElementById('tab6').style.display = 'none';
document.getElementById('tab7').style.display = 'none';
document.getElementById('tab8').style.display = 'none';
document.getElementById('tab9').style.display = 'none';
document.getElementById('tab10').style.display = 'none';

document.getElementById(tabname).style.display = 'block';
document.getElementById('hubtab6').src = './images/hubtab6_off.gif';
document.getElementById('hubtab7').src = './images/hubtab7_off.gif';
document.getElementById('hubtab8').src = './images/hubtab8_off.gif';
document.getElementById('hubtab9').src = './images/hubtab9_off.gif';
document.getElementById('hubtab10').src = './images/hubtab10_off.gif';
document.getElementById('hub'+tabname).src = './images/hub'+tabname+'_on.gif';
}
//]]>