// JavaScript Document

function changeClass(elementID, newClass ){
  var interval = 800;
  if (document.getElementById){
    var element = document.getElementById(elementID);
    var oldClass = element.className;
    element.className = newClass;
    setTimeout("changeClass('"+elementID+"','"+oldClass+"')", interval);
  }
}