function setFontWeight(element, weight) {
    if (element != null && element.style && element.name != "selected") {
		element.style.fontWeight = weight;
	}
}               


