function highlightOver(cell, color) {
	cell.style.backgroundColor = color;
}
function highlightOut(cell, color) {
	cell.style.backgroundColor = color;
}
function TabForceUndeline(link_name) {
	if (IsDOMBrowser()) {
		document.getElementById(link_name).style.textDecoration = 'underline';
	}
}
function TabForceNone(link_name) {
	if (IsDOMBrowser()) {
		document.getElementById(link_name).style.textDecoration = 'none';
	}
}