function image_rollover(image_name)
{
	document.getElementById('' + image_name + '').src = 'grfx/nav_' + image_name + '_over.gif';
}

function image_restore(image_name)
{
	document.getElementById('' + image_name + '').src = 'grfx/nav_' + image_name + '.gif';
}