function doQuickSearch() {
	var df=document.QuickSearchForm;
	if (df && df.keywords) {
		df.keywords.value = df.keywords.value.replace(/^\s+|\s+$/g,"");
		if (df.keywords.value !== "") {
			df.submit();
		}
	}
}