document.onmouseover = highlight;
        document.onmouseout = unhighlight;

    function highlight(kolor){
        src = event.toElement;
        if (src.tagName == "A"){
            src.oldcol = src.style.color;
            src.style.color = "#FF0000";
        }
    }

    function unhighlight(){
        src=event.fromElement;
        if (src.tagName == "A"){
            src.style.color = src.oldcol;
        }
    }