// Code for handling the nav1 menu
var selected_menu = '';
var html_base = '';

function nav_on(image)
{	image.src= html_base + '/slices/' + image.name + '_on.gif';
}

function nav_off(image)
{	if(image.name != selected_menu)
	{	image.src= html_base + '/slices/' + image.name + '.gif';
	}
}

function select_menu(item_name)
{	selected_menu = 'nav_' + item_name;
}

function set_html_base(base)
{	html_base = base;
}

function nav_onload(image)
{	image.onload = null; // vital. Otherwise this gets called again when the image changes.
	if(image.name == selected_menu)
	{	nav_on(image);
	}
}