function form_button(el) {
	var name = 'redirect_url['+el.value.replace(/ /g, '-')+']';
	location.href = el.form.elements[name].value;
	return false;
}

function trim(str) {return str.replace(/^\s*(.*\b)\s*$/, "$1");}

function is_empty(el) {
	var val = trim(el.value);
	el.value = (val != '') ? val : 'all';
}