
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 + 20) + "px";
    wmtt.style.top = (y + 20) + "px";
  }
}
function showWMTT(id) { wmtt = document.getElementById(id); wmtt.style.display = "block" }
function hideWMTT() { wmtt.style.display = "none"; }

