var sx=4;var actif = 0;var pile = new Array ();function getElement(aID){      return (document.getElementById) ? document.getElementById(aID)                                      : document.all[aID];} function ajouter_pile(x) {  pile[actif] = x;  actif++;  ecrire_pile();}function enlever_pile(x) {  cpteur = 0;  while (pile[cpteur]!=x) {    cpteur++;  }  for (i=cpteur;i<pile.length;i++){    pile[i] = pile[i+1];  }  actif--;  ecrire_pile();}function remplacer_pile(x,y) {  cpteur = 0;  while (pile[cpteur]!=x) {    cpteur++;  }  pile[cpteur]=y;  ecrire_pile();}function ecrire_pile() {  texte = "";  for(i=0;i<actif;i++){    face = pile[i].charAt(pile[i].length-1);    face = (face=="a")?"r":"v";    numero = pile[i].substring(2,pile[i].length-1);    texte = " [" + numero + face + "]" + texte;  }  getElement("numero_serie").innerHTML = texte;}function flop(x) {  xa=x+"a";  xb=x+"b";   if ((getElement(xa).style.visibility=="hidden")&&(getElement(xb).style.visibility=="visible")){      getElement(xa).style.visibility="visible";      getElement(xb).style.visibility="hidden";      remplacer_pile(xb,xa);  }  else {    if ((getElement(xa).style.visibility=="visible")&&(getElement(xb).style.visibility=="hidden")){         getElement(xa).style.visibility="hidden";        getElement(xb).style.visibility="visible";        remplacer_pile(xa,xb);    }  }}function pop(x) {  xa=x+"a";  xb=x+"b";  sx++;      if ((getElement(xa).style.visibility=="hidden")&&(getElement(xb).style.visibility=="hidden")){      getElement(xa).style.visibility="visible";      getElement(xa).style.zIndex=sx;      getElement(xb).style.zIndex=sx;      ajouter_pile(xa);  }  else {      if (getElement(xa).style.visibility=="visible") {        getElement(xa).style.visibility="hidden";        enlever_pile(xa);      }      else {        getElement(xb).style.visibility="hidden";        enlever_pile(xb);      }  }}function initialiser(){  for (x=1;x<=20;x++){    xa="cd"+x+"a";    xb="cd"+x+"b";	getElement(xa).style.visibility="hidden";	getElement(xb).style.visibility="hidden";  }  sx=4;  actif=0;  getElement("numero_serie").innerHTML = "";}
