var slide=0;
var play=true;

function run(){
  if(play){
    if(slide<slides.length-1)slide++;
    else slide=0;

    sl=document.getElementById("slide");

    if(sl!=undefined)sl.innerHTML=slides[slide];
    
    setTimeout("run()",10000);
  }
}