function refresh_select(form_name,element_name,get_optional_vars){
		if(element_name!=null){
			var element_value=document.forms[form_name][element_name].value;
			document.location.href="?"+element_name+"="+element_value+"&"+get_optional_vars;
		}
		else{
			document.forms[form_name].submit();
		}
	}