function setup(){
//return;
	div = document.getElementById("radioPoolOn");
	if(div.checked == true)
		togglePool("on","gotPool");
	else
		togglePool("off","gotPool");		
}