<!--
function setsmallPortalVis(which) {
document.getElementById('smallportalsub0').style.display = "none";
document.getElementById('smallportalsub1').style.display = "none";
document.getElementById('smallportalsub2').style.display = "none";
document.getElementById(which).style.display = "block";
}

function setsmallPortalTab(which) {
document.getElementById('smallportaltablink0').className = "smallportal-tab-off";
document.getElementById('smallportaltablink1').className = "smallportal-tab-off";
document.getElementById('smallportaltablink2').className = "smallportal-tab-off";
document.getElementById('smallportaltablink'+ which).className = "smallportal-tab-on"; 
}
// -->