function navihover(x)
{
	if(document.getElementById("laut").src != x)
	{
		document.getElementById("laut").src = x;
	}
}