// QuickStep Bildwechsel
function raum(raumbild)
	{
	document.getElementById('pic').src = raumbild;
	}