/***********************************************
* Switch Menu script- by Martial B of http://getElementById.com/
* Modified by Dynamic Drive for format & NS4/IE4 compatibility
* Visit http://www.dynamicdrive.com/ for full source code
***********************************************/

if (document.getElementById){ //DynamicDrive.com change
document.write('<style type="text/css">\n')
document.write('.submenu{display: none;}\n')
document.write('</style>\n')
}

function SwitchMenu(obj){
        if(document.getElementById){
        var el = document.getElementById(obj);
        var ar = document.getElementById("masterdiv").getElementsByTagName("span");
         //DynamicDrive.com change
 if(el.style.display != "block"){ //DynamicDrive.com change
 for (var i=0; i<ar.length; i++){
 if (ar[i].className=="submenu") //DynamicDrive.com change
                                ar[i].style.display = "none";
                        }
                        el.style.display = "block";
                }
 else{
                        el.style.display = "none";
                }
        }
}


var Monatsname = ["Jan", "Feb", "March", "April", "Mai","Juni", "Juli", "August", "Sept.", "Okt.","Nov", "Dez"];
//var Tagname = ["So", "Mo", "Di", "Mi","Do", "Fr", "Sa"];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return date.getDate() + ". "+ Monatsname[date.getMonth()] + " " + date.getFullYear();
}