var pop;
function popUp(URL,w,h){
if(pop!=null && !pop.closed){
pop.close()
}
pop = window.open(URL,"pop","width="+w+",height="+h+",toolbars=0,scrollbars=1");
pop.focus() 
} 

function visit(newURL) {
      if (newURL != "") {
        location.href=newURL
      }
    }
    
function go(s){ 
	var x = s.options[s.selectedIndex].value;
	parent.main.location.href = x;
	// window[main].document.location.href = x;
	s.selectedIndex=0;
}