function highlightLink(obj, color) {
document.getElementById(obj).style.color = color ;
}