var gImageWaiter = new Image();
gImageWaiter.src = "img/wait.gif";
f2.style.display = "inline";
f1.filter.focus();

gFilterUsed = "";
gTimeout = 0;

function date2seconds(d)
{
 return d.getHours()*3600 + d.getMinutes()*60 + d.getSeconds() + d.getMilliseconds()/1000.0;
}

function ApplyFilter()
{
 var timeStart = new Date();

 gTimeout = 0;
 var filter = f1.filter.value;
 var node = document.getElementById('start');

 while (node != null)
 {
  if(node.nodeName == "SPAN")
  {
   var text = node.firstChild.firstChild.innerHTML;
   if(filter == "" || text.indexOf(filter) != -1)
    node.style.display = "inline";
   else
    node.style.display = "none";
   if(gTimeout != 0)
    break;
  }
  node = node.nextSibling;
 }

 gFilterUsed = filter;
 document.getElementById('indicator').setAttribute("src", "img/t.gif");

 var timeFinish = new Date();
 var seconds = date2seconds(timeFinish)-date2seconds(timeStart);
 document.getElementById("filter-time").innerHTML = "("+seconds.toFixed(3)+" сек.)";
}

function OnFilter()
{
  var filter = f1.filter.value;
  if(gFilterUsed != filter)
  {
   if(gTimeout != 0)
    window.clearTimeout(gTimeout);
   gTimeout = window.setTimeout("ApplyFilter()", 500);
   document.getElementById('indicator').setAttribute("src", "img/wait.gif");
  }
}

function OnFilterSubmit()
{
 alert ("Нажимать клавишу \"Ввод\" при использовании фильтра вовсе не обязательно.");
 return false;
}