// menu script:
var button_off=new Image();
var button_on=new Image();

function initButtons(path)
{
	button_off.src=path+"/button_off.gif";
	button_on.src=path+"/button_on.gif";
}

function highlight(index)
{
	var b=document.getElementById('button'+index);
	b.src=button_on.src;
	b=document.getElementById('label'+index);
	b.style.color="ffffff";
	return true;
}
function lowlight(index)
{
	if (index==this_page) return true;
	var b=document.getElementById('button'+index);
	b.src=button_off.src;
	b=document.getElementById('label'+index);
	b.style.color="cccccc";
	return true;
}