
<!--
    function showObject(object) {
        object.visibility = VISIBLE;
       
    }

    function hideObject(object) {
        object.visibility = HIDDEN;
    }


    function slideLogo(from, to) {
            if (from < to) {
                company.top = (from += 4);              
                setTimeout('slideLogo(' + from + ',' + to + ')', 30);
            }
            else initObjects();
    }


    function rotateObjects() {
            for (var i = 0; i < pos.length; i++) {             
                pos[i] += inc; objects[i].visibility = 'visible';
                objects[i].left = (r * Math.cos(pos[i])) + xoff
                objects[i].top = (r * Math.sin(pos[i])) + yoff;
                           }
           if(r<rmax){
             r=r+delta;
         }
             if(r==0){
             delta=0;
             killObjects();
             }

        rotateTimer = window.setTimeout("rotateObjects()", 50);
          }


     function initObjects() {
        objects = new Array(fly1, fly2, fly3, fly4, fly5, fly6, fly7, fly8, desc9, desc10, desc11, desc13, company, Fr2);
        pos = new Array();
        pos[0] = 0;
            for (var i = 1; i < 8; i++) {
                pos[i] = parseFloat(pos[i - 1] + ((2 * pi) / 8));
            }
        rotateObjects();
    }


 function killObjects() {
           
             for (var i = 0; i < objects.length+1; i++) {             
                pos[i] += inc; objects[i].visibility = 'hidden';
}

}


    var rmin = 0;    
    var rmax = 230;
    var objects;
    var delta = 1;
    var r = 1;          // radius
    var xoff = 260;     // x offset
    var yoff = 260;     // y offset
    var pi = Math.PI;   // get pi
    var inc = pi / 180; // Nullper rotation cycle (gar nicht drehen)
    var objects;        // objects to be rotated
    var pos;            // position for objects

function stand() {
window.clearTimeout(rotateTimer);
}	
function rechts() {
window.clearTimeout(rotateTimer);
rmax=230;
inc=pi/180;
delta=1;
rotateTimer=window.setTimeout("rotateObjects()", 30);
}
function links() {
window.clearTimeout(rotateTimer);
inc=-(pi/180);
rmax=230;
delta=1;
rotateTimer=window.setTimeout("rotateObjects()", 30);
}
function schließen() {
window.clearTimeout(rotateTimer);
inc=-(0/180);
rmax=240;
delta=-1;
rotateTimer=window.setTimeout("rotateObjects()", 30);
}


//-->