//<![CDATA[

// Preload the on states of the tabs for quicker response
hubtab11 = new Image();
hubtab11.src = "./images/hubtab11_on.gif";
hubtab12 = new Image();
hubtab12.src = "./images/hubtab12_on.gif";
hubtab13 = new Image();
hubtab13.src = "./images/hubtab13_on.gif";

// Function which actually swaps tabs
function changeGreenTab4 (tabname) {
document.getElementById('tab11').style.display = 'none';
document.getElementById('tab12').style.display = 'none';
document.getElementById('tab13').style.display = 'none';

document.getElementById(tabname).style.display = 'block';
document.getElementById('hubtab11').src = './images/hubtab11_off.gif';
document.getElementById('hubtab12').src = './images/hubtab12_off.gif';
document.getElementById('hubtab13').src = './images/hubtab13_off.gif';
document.getElementById('hub'+tabname).src = './images/hub'+tabname+'_on.gif';
}
//]]>