function tausch(marker) {
    document.getElementById(marker).bgColor = "#E6C7BC"
						return true;
               }

function ruecktausch(marker) {
   document.getElementById(marker).bgColor = ""
                  return true;
               }