<!--
_ie5=(navigator.appVersion.indexOf('MSIE 5')>=0);
// common library for microsoft internet explorer 4.x
//
function getDivFromName(nm){ return document.all(nm); }
function initDivPos(div){ div.style.pixelLeft = div.offsetLeft; div.style.pixelTop = div.offsetTop; }
function moveDivTo(div,left,top){ div.style.pixelLeft = left; div.style.pixelTop  = top; }
function moveDivBy(div,left,top){
  if(_ie5){
    div.style.pixelLeft = div.offsetLeft+left+0.5; div.style.pixelTop  = div.offsetTop+top +0.5;
  }
  else {
    div.style.pixelLeft += left+0.5; div.style.pixelTop  += top +0.5;
  }
}
function initDivSize(div){
  div.style.pixelWidth  = div.offsetWidth;
  div.style.pixelHeight = div.offsetHeight;
}
//
// event handling function for internet explorer 4.x
//
function getCtrlFromElement(el,tagName){
  for(;el;el=el.parentElement){
    if((tagName==null || el.tagName==tagName) && el.eventCtrl) return el.eventCtrl;
  }
  return null;
}
function getCtrlFromEvent(e,tagName){
  var ctrl;
  if(grabObj) ctrl=grabObj;
  else {
    var mask=0, type=window.event.type;
    switch(type){
    case 'mouseover':
      var fromCtrl = getCtrlFromElement(window.event.fromElement,tagName);
      var toCtrl   = getCtrlFromElement(window.event.toElement,tagName);
      if(fromCtrl!=toCtrl) ctrl=toCtrl;
      if(!ctrl || (ctrl.mask&1)==0) ctrl=null;
      break;
    case 'mouseout':
      var fromCtrl = getCtrlFromElement(window.event.fromElement,tagName);
      var toCtrl   = getCtrlFromElement(window.event.toElement,tagName);
      if(fromCtrl!=toCtrl) ctrl=fromCtrl;
      if(!ctrl || (ctrl.mask&1)==0) ctrl=null;
      break;
    case 'mousedown': case 'mousemove': case 'mouseup':
      ctrl=getCtrlFromElement(window.event.srcElement,tagName);
      if(ctrl && (ctrl.mask&2)!=0) break;
    default: ctrl=null; break;
    }
  }
  if(ctrl){
    if(_ie5){
      ctrl.pageX = document.body.scrollLeft+window.event.clientX;
      ctrl.pageY = document.body.scrollTop +window.event.clientY;
    } else {
      ctrl.pageX = window.event.x;       ctrl.pageY = window.event.y;
    }
    ctrl.type  = window.event.type;
  }
  return ctrl;
}
// -->