function menu_high(sourceid, bg) {
    window.document.getElementById(sourceid).style.backgroundColor=bg;
    window.document.getElementById(sourceid).style.cursor="hand";
}

function menu_low(sourceid, bg) {
	window.document.getElementById(sourceid).style.backgroundColor=bg;
}