up       = new Image();
  up.src   = "images/up.jpg";
  down     = new Image();
  down.src = "images/down.jpg";

function UpDown(target, spanID)
{
    if (document.images[target].src == up.src)
    {
        document.images[target].src = down.src;
    } else {
        document.images[target].src = up.src;
    }
    toggleSpan(spanID);
}

function toggleSpan(layer)
{
    if (navigator.appName == "Netscape")
    {
       if (document.layers['total'].document.layers[layer].display == "none")
       {
           document.layers['total'].document.layers[layer].display = "block";
       } else {
           document.layers['total'].document.layers[layer].display = "none";
       }
    } else {
        if (document.all[layer].style.display == "none")
        {
            document.all[layer].style.display = "block";
        } else {
            document.all[layer].style.display = "none";
        }
    }
}

function showmenu()
{
    if ((event.clientX + menu.offsetWidth) > document.body.clientWidth)
    {
        document.all['menu'].style.left = document.body.scrollLeft + event.clientX - menu.offsetWidth;
    } else {
        document.all['menu'].style.left = document.body.scrollLeft + event.clientX;
    }
    if ((event.clientY + menu.offsetHeight) > document.body.clientHeight)
    {
        document.all['menu'].style.top = document.body.scrollTop + event.clientY - menu.offsetHeight;
    } else {
        document.all['menu'].style.top = document.body.scrollTop + event.clientY;
    }
    document.all['menu'].style.visibility = "visible";
//    alert(event.clientX + ', ' + event.clientY + '; Menu left: ' + menu.style.left + ', Menu Top: ' + menu.style.top);
    return false;
}

function hidemenu()
{
    document.all['menu'].style.visibility = "hidden";
}

function highlight()
{
    if (event.srcElement.className=="menuitem")
    {
        event.srcElement.style.backgroundColor="#000000";
        event.srcElement.style.color="#FFFFFF";
        window.status=event.srcElement.url;
    }
}

function revert()
{
    if (event.srcElement.className=="menuitem")
    {
        event.srcElement.style.backgroundColor="";
        event.srcElement.style.color="#000000";
        window.status='';
    }
}

function linkto()
{
    if (event.srcElement.className=="menuitem")
    {
        window.location=event.srcElement.url;
    }
}