var pressed;
var hovered;

function laden(){
	pressed = "home";
	hovered ="home";
}

function tausch(x, y)
{
	if (y != pressed)
	{
		if(x > 0)
		{
			document.images[y].src="images/buttons/normal/" + y + ".gif";
			hovered = y;
		}else
		{
			document.images[y].src="images/buttons/over/" + y + ".gif";
		}
	}
}

function klicken(x)
{
	document.images[pressed].src="images/buttons/normal/" + pressed + ".gif";
	document.images[x].src="images/buttons/over/" + x + ".gif";
	pressed = x;
}