function getCheckedValue(radioObj) {
	if(!radioObj)
		return "";
	var radioLength = radioObj.length;
	if(radioLength == undefined)
		if(radioObj.checked)
			return radioObj.value;
		else
			return "";
	for(var i = 0; i < radioLength; i++) {
		if(radioObj[i].checked) {
			return radioObj[i].value;
		}
	}
	return "";
}
function getSummaryValue() {
	return getCheckedValue(document.forms['search_results_options'].elements['summary'])
}
function getSortValue() {
	return getCheckedValue(document.forms['search_results_options'].elements['sort'])
}
function setResultOptions(optionsform) {
	document.location=optionsform.action+'&sort='+getSortValue()+'&summary='+getSummaryValue();
	return false;
}