function toggle_image(name, path)
{
	document[name].src = '/media/navigation/nav_' + path + '.gif';
}