/*
	JavaScript-Funktionen
*/

// beim Laden initialiesieren
window.onload = init;
timers = new Array();
var nr = 0;

// initialisieren:
function init(nr) {
	// Mouseoverfunktionen dem Hauptmenü hinzufügen
    if (nr < 10) {
        if (!document.getElementById("menu1ul"))
            setTimeout(init(), 500);
    } else
        nr = 0;

    if (document.getElementById("menu1ul"))
        ulKlappmenu("menu1ul",new Array("over","aktiv"));

    sm = document.getElementById("servicemenu");
    if (sm) {
        if(sm.offsetLeft < 515) sm.style.left = "515px";
	    if(sm.offsetLeft > 745) sm.style.left = "745px";
    }

    ws = document.getElementById("weisserStrich");
    if (ws) {
        if(ws.offsetLeft > 992) ws.style.left = "992px";
	    if(ws.offsetLeft < 980) ws.style.display = "none";
    }
}