function do_search(text){
	var search_line = document.getElementById('sline');
	if(text)
		search_line.value = text;
	
	if(search_line.value)
		document.forms['web'].submit();
}