function select(tdID, aID)
{
	document.getElementById(tdID).className = "menuitem_active";
	document.getElementById(aID).className = "white";
}
function deselect(tdID, aID)
{
	document.getElementById(tdID).className = "menuitem_inactive";
	document.getElementById(aID).className = "aleft";
}

function select_ws(tdID, aID)
{
	document.getElementById(tdID).className = "menuitem_active_ws";
	document.getElementById(aID).className = "white";
}
function deselect_ws(tdID, aID)
{
	document.getElementById(tdID).className = "menuitem_inactive_ws";
	document.getElementById(aID).className = "white";
}