String.prototype.trim = function() {
	return this.replace(/^\s+/, '').replace(/\s+$/, '');
};

function makeSearchString(basehref, form) {
	var keywords = form.keywords.value;
	keywords = keywords.trim();
	var checked = 0, page = 1;
	for (var i = 0; i < form.cat.length; i++) {
		if (form.cat[i].checked) {
			checked = form.cat[i].value;
			break;
		}
	}
	//base = document.getElementsByTagName('base');
	//basehref = base[0].href;

	if('' != keywords) {
		window.top.location.href = basehref+'search/'+checked+'/'+page+'/'+keywords;
	}
}