if(document.getElementById){
 window.onload = function(){
  var t, i, targ;
  targ = document.getElementById('logArea');
  targ.innerHTML = targ.innerHTML.replace(/<dt>(\d{1,4}) /gi, '<a name=l$1></a><dt>$1 ');
  targ.innerHTML = targ.innerHTML.replace(/(��|&gt;)(��|&gt;)?([0-9]+)/g, '<a href="#l$3" onmouseover="onMouse(this, event)" onmouseout="offMouse()">$1$2$3</a>');
 }
}

function onMouse(a, e){
 var ev, str, pop, x, y, num, targ;
 ev = (typeof event == 'object') ? event : e;
 num = Number(a.href.replace(/^.*#l/,""));
 if (targ = document.getElementsByTagName('dd')[num > 0 ? num - 1: 0]){
  str = targ.previousSibling.innerHTML + '<br>' + targ.innerHTML;
  pop = document.getElementById('pop');
  pop.innerHTML = str;
  pop.style.visibility = 'hidden';
  pop.style.display = 'block';
  x = (document.documentElement && document.documentElement.scrollLeft) ? document.documentElement.scrollLeft : document.body.scrollLeft;
  y = (document.documentElement && document.documentElement.scrollTop) ? document.documentElement.scrollTop : document.body.scrollTop;
  pop.style.left = (x + ev.clientX + 30).toString() + 'px';
  if ((ev.clientY + pop.offsetHeight - 10) > (document.documentElement.clientHeight))
   pop.style.top = (y + document.documentElement.clientHeight - pop.offsetHeight).toString() + 'px';
  else
   pop.style.top = (y + ev.clientY - 10).toString() + 'px';
  pop.style.visibility = 'visible';
 }
}

function offMouse(){
 var pop = document.getElementById('pop');
 pop.style.display = 'none';
}