function changeColor(oid, col) {
	if (isIE) document.getElementById(oid).bgColor = "#"+col;
	else document.getElementById(oid).backgroundColor = "#"+col;
}
function changeClassName(oid, newClass)
{
	document.getElementById(oid).className = newClass;
}