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

function karte_out()
{
	window.document.images['karte'].src = "image-karte/De-leer.png";
}