// Steuerung des Bildwechsels für Bereich und rechte Navigation
var setname;
var img_format;

function show(myImg, format) {
	document.images[myImg].src = "images/" + myImg + "_dn." + format;
	setname = myImg;
	img_format = format;
}

function hide() {
	document.images[setname].src = "images/" + setname + "_up." + img_format;
	setname = '';
	img_format = '';
}