var timerId = setInterval(function(){ if(window.document.drops.isFinished()){ clearInterval(timerId); } },1000);
var refreshIntervalId = setInterval(fname, 10000); /* later */ clearInterval(refreshIntervalId);