function change_bgcolor(highlight) {
		source = event.srcElement
		if (source.tagName == "TH")
			return
		while (source.tagName != "TD")
			source = source.parentElement
		if (source.style.backgroundColor != highlight && source.type != "pass")
			source.style.backgroundColor = highlight
	}

	function change_bgcolor_original(original) {
		if (event.fromElement.contains(event.toElement) || source.contains(event.toElement) || source.type == "pass")
			return
		if (event.toElement != source)
			source.style.backgroundColor = original
	}