function menu_on ( menu_cell )
{
	menu_cell.style.backgroundColor = "#6699CC";
	menu_cell.style.cursor = 'hand';
}

function menu_off_highlight ( menu_cell )
{
	menu_cell.style.backgroundColor = "#AFC7C2";
}

function jump ( url )
{
	document.location.href = url;
}