function random_string() {
  var random = Math.random()*4 + Math.random()*2 + Math.random()*6 + Math.random()*10;
  return random;
}

function include(lyr,url) {
  if (document.all) {
    try {  
      var xml = new ActiveXObject("Microsoft.XMLHTTP");
      xml.Open( "GET", url, false );
      xml.Send()
      document.getElementById(lyr).innerHTML=xml.responseText;
      delete xml;
    }
    catch (e) {        
      var xml = new ActiveXObject("MSXML2.XMLHTTP.4.0");
      xml.Open( "GET", url, false );
      xml.Send()
      document.getElementById(lyr).innerHTML=xml.responseText;
      delete xml;
    }
  } else {   
    var xml=new XMLHttpRequest();
    xml.open("GET",url,false);
    xml.send(null);
    document.getElementById(lyr).innerHTML=xml.responseText;
    delete xml;
  }
  delete lyr;
  delete url;
  return true;
}

function tog_menu($entry) {
  var random = random_string();
  $_url = '/_js/xmlhttp/menu.php?menu=' + $entry + '&rand=' + random;
  include('menu_box', $_url);
}