/* CSSWechsel */

function CSSWechsel(element, newCSS) {
  /* document.getElementById(element.id).className = newCSS; */
  document.getElementsByName(element.name)[0].className = newCSS;
}

function goList() {
    var URL = document.jahrForm.jahrListe.options[document.jahrForm.jahrListe.selectedIndex].value;
    window.location.href = URL;
}