function navi_top_image_over( name )
{
	document.images[name].src = "upload/bilder/navi_h_" + name + ".gif";
}

function navi_top_image_out( name )
{
	document.images[name].src = "upload/bilder/navi_" + name + ".gif";
}