function dosearch() {
  var search = document.getElementById("searchInput");
  if(search.value!='')
    searchRedirector(search.value);
  else
  	return false;
}

function dosearchwithkeyboard(e) {
	var keycode;
	if (window.event) keycode = window.event.keyCode;
	else if (e) keycode = e.which;
	if(keycode==13)
		  dosearch();
	return;
}

function searchRedirector(stringDatas) {
	window.location.replace("/m/search/index.lbl?search="+encodeURIComponent(stringDatas));
}