<!--
function setPortalVis(which) {
document.getElementById('portalsub0').style.display = "none";
document.getElementById('portalsub1').style.display = "none";
document.getElementById('portalsub2').style.display = "none";
document.getElementById(which).style.display = "block";
}

function setPortalTab(which) {
document.getElementById('portaltablink0').className = "portal-tab-off";
document.getElementById('portaltablink1').className = "portal-tab-off";
document.getElementById('portaltablink2').className = "portal-tab-off";
document.getElementById('portaltablink'+ which).className = "portal-tab-on"; 
}
// -->