function popup (url) {
	 fenster = window.open(url, "Popupfenster", "width=500,height=700,resizable=yes");
	 fenster.focus();
	 return false;
	}

	function scroller() {
	 if (document.getElementById("banner").style.right == "0px") {
	  document.getElementById("banner").style.right = "-371px";
	  
	 }
	 else {
	  document.getElementById("banner").style.right = "0px";
	  
	 }
	}
	function closer() {
	  document.getElementById("banner").style.right = "-421px";
	}