function do_search(){
	document.searchdata.submit();
}
function show(id){ document.getElementById(id).style.visibility="visible";}
function hide(id){ document.getElementById(id).style.visibility="hidden"; }

function weblink(_link){
	if(_link!=""){
		if(_link.indexOf('http://')<0) _link='http://'+_link;
		winopen(_link,'FULL,resize,scroll,status,0,0');
	}
}