var ie4			= document.all;
var dom			= document.getElementById;

if (ie4 || dom) window.onload = function (){
  if (document.getElementById("user_name")) {
    document.getElementById("user_name").focus();
  } else {
	document.getElementById("search_text").focus();
	document.getElementById("search_text").select();
  }
}

function menu_display(menu_sub) {
   // document.getElementById(menu_sub).className = "menu_visible";
}
function menu_hide(menu_sub) {
   // document.getElementById(menu_sub).className = "menu_hidden";
}