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

function makeSearchString(basehref, keyword) {
	keyword = keyword.trim();
	//base = document.getElementsByTagName('base');
	//basehref = base[0].href;

	if('' != keyword) {
		window.top.location.href = basehref + "search/" + keyword;
	}
}