<!--
wmtt = null;
document.onmousemove = updateWMTT;
function updateWMTT(e) {
  if (wmtt != null) {
      x = (document.all) ? window.event.x + wmtt.offsetParent.scrollLeft : e.pageX;
      y = (document.all) ? window.event.y + wmtt.offsetParent.scrollTop  : e.pageY;
      wmtt.style.left = (x - 122) + "px";
      wmtt.style.top   = (y + 5) + "px";
  }
}
function showWMTT(id) {
  wmtt = document.getElementById(id);
  wmtt.style.display = "block"
}
function hideWMTT() {
  wmtt.style.display = "none";
}
// -->
