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

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