// Bilder in Bildleiste umschalten
function change_picture(item, status) {
 	if (status == "on") {item.src = "/images/" + item.name + "_on.gif";}
	else {item.src = "/images/" + item.name + ".gif";}
}