var tstat // Индикатор активности таймера

// Функции показа и скрытия строки с выбором переводчика (подробней ~/WIND/javascript_tutor/выпадающее меню.html)
function getPos(el,sProp) {
  var iPos = 0;
  while (el!=null) {
    iPos+=el["offset" + sProp]
    el = el.offsetParent
  }
  return iPos
} 

function showDiv(div) {
  //alert("showDiv executed");
  if (tstat == 1) {
    clearTimeout(timer);
    tstat=0;
  }
  obj = document.getElementById(div);
  tag = document.getElementById('second_menu_first');
  obj.style.left = getPos(tag, "Left") + "px";
  obj.style.top = getPos(tag, "Top") + tag.offsetHeight + "px";
  obj.style.minWidth = tag.offsetWidth + "px";
  //obj.style.width = document.getElementById('chooseTranslator').offsetWidth + 12 + "px";
  obj.style.visibility = "visible";
}

function hideDiv(div) {
  obj = document.getElementById(div)
  timer = setTimeout("obj.style.visibility = 'hidden'", 500);
  tstat=1;
}