// JavaScript Document
String.prototype.trim = function()
{
    // 用正?表?式将前后空格，用空字符串替代。
    return this.replace(/(^\s*)|(\s*$)/g, "");
}
function require(form){
	if (form.searchstr.value.trim().length==0) {
		alert("キーワードをご入力ください！");
		form.searchstr.focus();
		return false	
	}
	form.submit();	
	return true;
}