function HideBox()
{
document.all["DefBox"].style.visibility="hidden";
}

function ShowBox(HTML)
{
if (HTML!='')
{
HTML=HTML.replace('~','"');
HTML=
HTML.replace("^","'"); if(HTML==null){HTML="Test"}
document.all["DefBox"].innerHTML="<table width=200 cellspacing=1 cellpadding=0 bgcolor=#EEEEEE><tr><td><table width=100% bgcolor=#EEEEEE><tr><td><font face=Arial color=#666666 size=1>" + HTML + "</font></td></tr></table></td></tr></table>";
if (event.x - 15 + 225<document.body.offsetWidth)
{
document.all["DefBox"].style.left=event.x - 15;
}
else
{
document.all["DefBox"].style.left=document.body.offsetWidth-225;
}
document.all["DefBox"].style.top=event.y+15 + document.body.scrollTop;
document.all["DefBox"].style.visibility="visible";
}
}