function navi_button_highlight(obj)
{
	obj.style.backgroundImage ="url('/images/button_highlight.png')";
}
function navi_button_normal(obj)
{
	obj.style.backgroundImage ="url('/images/spacer.gif')";
}