function R(a)
	{a.blur();}
	
var divs = document.getElementsByTagName("div");
function W(sicht) { 
       	 divs[sicht].style.visibility="visible";	
}

function Wout(sicht) { 
    	 divs[sicht].style.visibility="hidden";	
}

var fenster
function auf(){
		if(fenster&&!fenster.closed)
          {fenster.close();}
        fenster=window.open("images/pool.jpg","neu","width=397,height=298,top=160,left="+screen.width/2);
		}