function highlight(which){
which.style.background='#FFFFFF'
}
function finish(which){
which.style.background='images/BGoundMenu2.gif'
}



function highlightRed(which){
which.style.background='#df0000'
}

function despammail(strUser, strDomain)
{
	document.location = "mailto:" + strUser + "@" + strDomain;
}
//-----------------------------------------