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';
}