<!--
function SetCurrent(id)
{
	document.getElementById(id).className="currentpage";
}
// -->