<!--
//  -----   Main Routines -----
var myMarginTop = 90;                           // If you change these please also change the top px value in SPAN
var MyNewOffset = 00;
var MyOldOffset = 90;							// Startposition beim reload der Seite
var MyFlag = false;
var browser = 0;
var FrequencyOfUpdate = 200;
var docked = null;
var undocked = null;
function checkBrowser(NSvers, IEvers)
{
        var version = parseFloat(navigator.appVersion);
        if (navigator.appName.indexOf('Netscape') != -1) {
                if (version >= NSvers) {browser = 1;}
                else {browser = 0;}
        } else if (navigator.appName.indexOf('Microsoft') != -1) {
                if (version >= IEvers) {browser = 1;}
                else {browser = 0;}
        } else {
                browser = 0;}
        fix(browser);
}
//  -----   fix - Updates the global positioning information -----
function fix(browser)
{
        if (browser == 1)
        {
                var nome = navigator.appName;
                if (nome == 'Netscape')
                {
                        UpdateNavigator();
                } else {
                        MyNewOffset = document.body.scrollTop;
                        if (MyNewOffset <= myMarginTop)
                        {
                                MyNewOffset += (myMarginTop - document.body.scrollTop);
                        }
                }
        }
        MyFlag = true;
}
//  -----   UpdateNavigator - Updates info. for Navigator
function UpdateNavigator()
{
        MyNewOffset = pageYOffset;
        if (MyNewOffset <= myMarginTop)
        {
                MyNewOffset += (myMarginTop - pageYOffset);
        }
        setTimeout('UpdateNavigator()', FrequencyOfUpdate*2);
}
//  -----   MyTimer - Updates the display when the timer fires
function MyTimer()
{
        setTimeout('MyTimer()', FrequencyOfUpdate);
        if (MyFlag == true)                                                     // If we're still in motion, leave updates for now
        {
                MyFlag = false;
                return true;
        }
        if (MyNewOffset != MyOldOffset)                         // OK, set up new positions
        {
                RedrawBar();
        }
        return true;
}
//  -----   MyStartTimer - Starts the timer off for screen updates
function MyStartTimer()
{
        if (browser == 1)
        {
                docked = new Image();                                   // Create images that we can swap
                docked.src= "/rootgif/space.gif";
                undocked = new Image();
                undocked.src= "/rootgif/space.gif";
                setTimeout('MyTimer()', FrequencyOfUpdate)
        }
        return true;
}
//  -----   RedrawBar - Make screen updates
function RedrawBar()
{
        var setAgain
        var delta = (MyNewOffset - MyOldOffset) / 50.0
        MyOldOffset = MyOldOffset + delta
        nome = navigator.appName;
        if (nome == 'Netscape')
        {
                document.bar.top = MyOldOffset
                setAgain = 10;
        } else {
                bar.style.top = MyOldOffset
                setAgain = FrequencyOfUpdate / 20;
        }
        delta = MyNewOffset - MyOldOffset;
        if ((delta > 0 && delta < 1) || (delta < 0 && delta > -1))
       
			 
			  {
                MyOldOffset = MyNewOffset
        }
			 
			 
			 
			 
			 
        if (MyNewOffset != MyOldOffset)                                 // See if we still need to close the gap
        {
                setTimeout('RedrawBar()', setAgain)
        }
}
// -->