function changemap(mytarget) {
	document.getElementById('highlightid').src = "/images/hl/" + mytarget + ".gif";
	document.getElementById('labelid').src = "/images/label/" + mytarget + ".gif";
}

function resetmap() {
	document.getElementById('highlightid').src = "/images/hl/blank.gif";
	document.getElementById('labelid').src = "/images/label/blank.gif";
}

function hi(path, navname, statusline) {
  document.images[navname].src = "/images/"+path+navname+"-hi.gif";
  window.status = statusline
}

function lo(path, navname) {
  document.images[navname].src = "/images/"+path+navname+"-lo.gif";
  window.status = ""
}            

function update(imgName, imgSrc) {
	if (document.images) {
		document.images[imgName].src = "/images/produkt/" + imgSrc + ".jpg";
	}
}