function changeColor(linkid){
    if((navigator.appName=="Netscape")||(navigator.appName=="Opera")) {
        document.getElementById(linkid).style.color =
            getComputedStyle(document.getElementById('current_link_color'),'').getPropertyValue('color');
    }
    else{
        document.getElementById(linkid).style.color = document.getElementById('current_link_color').currentStyle.color;
    }

}