// Datei drehen.js
// <script language = "JavaScript">

<!--


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

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

    function slideLogo(from, to) {
            if (from < to) {
                company.top = (from += 10);
                setTimeout('slideLogo(' + from + ',' + to + ')',75);
            }
            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;
            }
        rotateTimer = setTimeout("rotateObjects()", 70);
    }

     function initObjects() {
        objects = new Array(fly1,fly2,fly3,fly4,fly5,fly6,fly7,fly8,fly9,fly10,fly11,fly12,fly13,fly14,fly15,fly16,fly17,fly18,fly19);
        pos = new Array();
        pos[0] = 0;
            for (var i = 1; i < objects.length; i++) {
                pos[i] = parseFloat(pos[i - 1] + ((2 * pi) / objects.length));
            }
        rotateObjects();
    }

    var objects;
    var pos;
    var r = 180;        // radius
    var xoff = 180;     // x offset
    var yoff = 260;     // y offset
    var pi = Math.PI;   // get pi
    var inc = pi / 180; // degrees per rotation cycle (links drehen)
//    var inc = -(pi / 180); // degrees per rotation cycle (rechts drehen)
    var objects;        // objects to be rotated
    var pos;            // position for objects
        
function rechts() {
inc=pi/180;
}
function links() {
inc=-(pi/180);
}
        
//-->

// </script>