var corpo, timer, ix_colore, contatore=-1, funziona=false, colori;

function sfondoCasuale()
{
  corpo = document.getElementById("corpo");
  fine();
  colori = new Array("lavender","lightblue","aliceblue","azure","blue","blueviolet","cadetblue","cyan","deepskyblue","dodgerblue");
  timer = window.setInterval("cambioColore()",2000);
  funziona = true;
}

function fine()
{
  if(funziona) window.clearInterval(timer);
  funziona = false;
}

function cambioColore()
{  
  contatore++;
  ix_colore = contatore % 10;
  corpo.style.backgroundColor= colori[ix_colore];
}