// Anchors highlighten
function extract_doc(doc) {
        doc_url = String(doc).split('/');

        if(doc_url[4] != 'print.php?datei=') {
           return doc_url[doc_url.length-1];
        }
}

doc     = extract_doc(location.href);
ah = document.getElementsByTagName("a");
for(i=0;i<ah.length;i++) {
        if(extract_doc(ah[i]) == doc && ah[i].id == "menue") {
                document.getElementsByTagName("a")[i].style.color= "#DD0000";
        }

        if(extract_doc(ah[i]) == doc && ah[i].id == "menuetop") {
                document.getElementsByTagName("a")[i].style.color= "#CAD3DE";
        }

}