// JavaScript Document
<!--
function mouse_on_menu(no){document.getElementById(no).style.display = 'block';}
function mouse_out_menu(no){document.getElementById(no).style.display = 'none';}
function mouse_click_menu(no){
    if(document.getElementById(no).style.display == 'block')document.getElementById(no).style.display = 'none';
    else document.getElementById(no).style.display = 'block';
}

var _oldColor;
function SetNewColor(source)
{
_oldColor = source.style.backgroundColor;
source.style.backgroundColor = '#ffcc33';
source.style.borderColor = '#ffcc33';
}
function SetOldColor(source)
{
source.style.backgroundColor = _oldColor;
source.style.borderColor = _oldColor;
}

-->