function do_goto(URL){
	location.href =	URL;
}

function goLinks() {
var oSelect = document.getElementById("MyLink");
    window.open(  oSelect.value,"_blank" );
}

function gosearch() {
var oSearchText = document.getElementById("SearchKey").value;
  if ( (oSearchText != null) && (oSearchText != ""))
  { 
    alert(oSearchText );
  }
  else
  {   alert("ÇëÊäÈëËÑË÷¹Ø¼ü´Ê£¡");  }; 
}