//<![CDATA[

// Preload the on states of the tabs for quicker response
hubtab17 = new Image();
hubtab17.src = "./images/hubtab17_on.gif";
hubtab18 = new Image();
hubtab18.src = "./images/hubtab18_on.gif";
hubtab19 = new Image();
hubtab19.src = "./images/hubtab19_on.gif";

// Function which actually swaps tabs
function changeGreenTab6 (tabname) {
document.getElementById('tab17').style.display = 'none';
document.getElementById('tab18').style.display = 'none';
document.getElementById('tab19').style.display = 'none';

document.getElementById(tabname).style.display = 'block';
document.getElementById('hubtab17').src = './images/hubtab17_off.gif';
document.getElementById('hubtab18').src = './images/hubtab18_off.gif';
document.getElementById('hubtab19').src = './images/hubtab19_off.gif';
document.getElementById('hub'+tabname).src = './images/hub'+tabname+'_on.gif';
}
//]]>