function kp(e){
  	var key;
  	if(window.event) key = e.keyCode; else if(e.which) key = e.which;
  	if(key==13) {s();return false;}
  	return true;
  }

  function s(){
    var u = document.all['q'].value.replace(/^\s*|\s*$/g,"");
    if(u.length==0) return;
    u = window.encodeURIComponent?encodeURIComponent(u):escape(u);
    window.location.replace("/search.hsp?q="+u);
  }