// Menu Functions

function MenuOn(id)
{
    document.getElementById(id).src = "/assets/images/menu-" + id + "-on.gif";
}

function MenuOff(id)
{
    document.getElementById(id).src = "/assets/images/menu-" + id + "-off.gif";
}

// Scroller Functions
function scrollDivDown(id) {
    document.getElementById(id).scrollTop += 1
    timerDown = setTimeout("scrollDivDown('" + id + "')", 10)
}

function scrollDivUp(id) {
    document.getElementById(id).scrollTop -= 1
    timerUp = setTimeout("scrollDivUp('" + id + "')", 10)
}