function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();		
}
//////////////  Ce script a été mis au point par Michael Mailer ///////////////
// URL: http://www.webaid.de/js  --  eMail: mm@webaid.de
// SVP, ne pas supprimer ce commentaire  !

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
var objects;   						// objects to be rotated
var pos;                			// position for objects
var r = 250;           			// radius of links circle
var xoff = 280;        			// x offset for links
var yoff = 310;        			// y offset for links
var pi = Math.PI;     			// get pi
var inc = pi / 180;   			// degrees per rotation cycle (rotation gauche)
//  var inc = -(pi / 180);    	// degrees per rotation cycle (rotation droite)

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function initObjects () {
    objects = new Array (fly1, fly2, fly3, fly4, fly5, fly6, fly7, fly8, fly9, fly10, fly11, fly12, fly13, fly14);
    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 ();
}
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function showObject (object) {
	freeze ()
    object.visibility = VISIBLE;
}
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function hideObject (object) {
	droite ()
   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 droite () {
    inc=pi/180;
}
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function gauche () {
    inc=-(pi/180);
}
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
function freeze () {
    inc=0;
}