function over(menu) {
        window.document.getElementById(menu).style.backgroundColor = "#F5DEA4";
<!--        window.document.getElementById(menu).style.color = "#CC9933";-->
<!--                window.document.images[0].src = bildurl[menu];-->

}
        function out(menu) {
        window.document.getElementById(menu).style.backgroundColor = "#04A3FF";
<!--        window.document.getElementById(menu).style.color = "#EC3C3C";-->
<!--                window.document.images[0].src = bildurl[0];-->

}
        function out2(menu) {
        window.document.getElementById(menu).style.backgroundColor = "#E6C814";
<!--        window.document.getElementById(menu).style.color = "#EC3C3C";-->
<!--                window.document.images[0].src = bildurl[0];-->

}