// Splash-Screen für Ladezeit
// Version Beta 1 vom 29.3.2004
// Ausschalt-Routine
if (splash) {
if (document.getElementById) {  // DOM
document.getElementById('splash').style.visibility = 'hidden';
}
else if (document.layers) {  // NN 4
document.splash.visibility = 'hidden';
}
else {
document.all.splash.style.visibility = 'hidden';
}
}