function karte_on(x)
{
	if(x < 10)
	{
		window.document.images['karte'].src = "images/karte0"+x+".gif";
	}
	else
	{
		window.document.images['karte'].src = "images/karte"+x+".gif";
	}
}

function karte_out()
{
	window.document.images['karte'].src = "images/karte24.gif";
}