// JavaScript Document
function tfm_highlightLabel(element,highlightcolor,highlightborder) {//v1.01
	var label = tfm_getLabel(element);
	if(label) {
		label.style.oldborder = label.style.border;
		label.style.oldbg = label.style.backgroundColor;
		label.style.border=highlightborder;
		label.style.backgroundColor =highlightcolor;
	}
}