function switchcart(use)
        {
        	document.images["cart"].src = "/fileadmin/karten/interactive/" + use + ".gif";
            document.images["cart"].useMap = "#" + use;
        }

        function setinfo(value)
        {
			document.getElementById("info").innerHTML = value;
        }

        function m(el) {
        	if (el.defaultValue==el.value) el.value = ""
        }

        function mshow(element){
            element.className += "hover";
        }
       
        function mhide(element){
            element.className = element.className = "";
        }