//--------------------------------------------------------------------------//
//            --------------------------------------
//             Bibliothek zu JavaScript-Anwendungen
//            --------------------------------------
//--------------------------------------------------------------------------//


//Prüfung des genutzten Browsers
if(navigator.appName == 'Netscape')
{
 var ns = 1; var ie = 0;
}
else
{
 var ns = 0; var ie = 1;
}


//--------------------------------------------------------------------------//


//Bildtausch ohne Verwendung von Div-Tags (<div id=".......> </div>)
function bildtausch(bildname,bildquelle)
{
 window.document.images[bildname].src = bildquelle;
}


//--------------------------------------------------------------------------//

function go()
{
 window.location.href = 'leistungen.html';
}


//automatische Weiterleitung
function wait()
{
 schleife = window.setTimeout('go()',10000);
}

//--------------------------------------------------------------------------//