<!--
function showDD(boxid){
   document.getElementById(boxid).style.display="block";
}

function hideDD(boxid){
   document.getElementById(boxid).style.display="none";
}

function setCurrent(linkid) {
	document.getElementById(linkid).className="current";
}
function unsetCurrent(linkid) {
	document.getElementById(linkid).className="";
}
//-->