ua=navigator.userAgent;
    v=navigator.appVersion.substring(0,1);
    if ((ua.lastIndexOf("MSIE")!=-1) && (v='4')) {
        document.onmouseover = highlight;
        document.onmouseout = unhighlight;
    }
    function highlight() {
        src = event.toElement;
        if (src.tagName == "A") {
            src.oldcol = src.style.color;
            src.style.color = "#008000";
        }
    }
    function unhighlight() {
        src=event.fromElement;
        if (src.tagName == "A") {
            src.style.color = src.oldcol;
        }
    }