  // chemin des images des boutons play/pause
  var pathImageControl = "/portailClients/framework/skins/F6/images/";
  var imagePlayFlash = "play_btn.gif";
  var imagePauseFlash = "pause_btn.gif";
  var widthImageControl = "17"; // en pixel
  var heigthImageControl = "18"; // en pixel
  
  // Definition des alternatives textuelles des images play/pause
  var altPlayAnimation = "Relancer l\'animation";
  var altPauseAnimation = "Arr&#234;ter l\'animation";

  // Fait un rollOver entre l'image "play_btn.gif" et "pause_btn.gif".
  function rollOverPlayPause(imgRef){
    var obj=imgRef;
    var expPause = new RegExp(imagePauseFlash, "gi");
    var expPlay = new RegExp(imagePlayFlash, "gi");
    
	if(typeof obj != "undefined"){
      if(obj.src.lastIndexOf('pause_')!=-1){
		obj.setAttribute("alt", altPlayAnimation);
        obj.src=obj.src.replace(expPause, imagePlayFlash);
        //obj.src=obj.src.replace(/pause_/gi,"play_");
      } else {
		obj.setAttribute("alt", altPauseAnimation);
        obj.src=obj.src.replace(expPlay, imagePauseFlash);
        //obj.src=obj.src.replace(/play_/gi,"pause_");
      }
    }
  }

  // quand on change d'onglet, il faut remettre le picto en position "pause"
  function initRollOverPlayPause(imgRef){
    if(imgRef!=null) {
      imgRef.src=imgRef.src.replace(/play_/gi,"pause_");
      //imgRef.src=imgRef.src.replace(/pause_/gi,"play_");
	}
  }

  // invoqué par le controleur HTML. play/pause du flash
  function playPauseBandeau(movieName) {
    var flash = document.getElementById(movieName);
    if(typeof flash != "undefined") {
        //alert(movieName + ' : PLAY / PAUSE');
        flash.TGotoLabel("main", "acce");
	}
  }

  function addControlFlash(idDivControlFlash, idFlash, widthFlash, heightFlash) {
    var divControl = document.getElementById(idDivControlFlash);

	// Positionnement du bouton de controle du flash
	if(typeof divControl != "undefined") {
	  var marge = 2; // en pixel
	  var marginLeft = widthFlash - widthImageControl - marge;
	  var marginTop = heightFlash - heigthImageControl - marge;
	  
      // controleur flash
      var control = "";
      control += '<a href="#" onclick="playPauseBandeau(\'' + idFlash + '\');rollOverPlayPause(this.firstChild);return false;" >';
      control += '<img src="' + pathImageControl + imagePauseFlash + '" alt="' + altPauseAnimation + '" style="border:0;" />';
      control += '</a>';
	  
	  divControl.innerHTML = control;
	  divControl.style.position = "absolute";
	  divControl.style.border = "0";
	  divControl.style.textAlign = "right";
	  divControl.style.marginLeft = "" + marginLeft + "px";
	  divControl.style.marginTop  = "" + marginTop  + "px";
	  divControl.style.zIndex = "200";
	}
  }


