<!-- Hide script from old browsers

 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 = "white";
        }
    }

    function unhighlight() {
        src=event.fromElement;
        if (src.tagName == "A") {
            src.style.color = src.oldcol;
        }
    }

// End hiding script from old browsers -->