var timerID
var timerIDForAd
var timerIDForWhatsThis
function startClock(){
   // Initial call
//   alert("startClock");
   timerID = window.setTimeout("checkMenu()", 0500); // 1-second interval
}

function stopClock(){
//   alert("stopClock");
   window.clearTimeout(timerID);
}
function startClockForAd(){
   // Initial call
  
   timerIDForAd = window.setTimeout("resetAd()", 15000); // 15-second interval
}

function stopClockForAd(){
   window.clearTimeout(timerIDForAd);
}
function startClockForWhatsThis(){
   // Initial call
  
   timerIDForWhatsThis = window.setTimeout("hideWhatsThis()", 5000); // 1.5-second interval
}

function stopClockForWhatsThis(){
   window.clearTimeout(timerIDForWhatsThis);
}
function hideWhatsThis(){
   stopClockForWhatsThis();
   getObjectRef("wtbutton").style.visibility="hidden";
}