// JavaScript Document
function getHTTPObject()       
    {                       
          var http;
          var browser = navigator.appName;
          if(browser == "Microsoft Internet Explorer") { http = new ActiveXObject("Microsoft.XMLHTTP"); }
          else{ http = new XMLHttpRequest(); }
          return http;
    }
function getmenu(url){
	var obj=document.getElementById('show_menu');
    var ajax = getHTTPObject();
				 ajax.open("GET", url, true); 
				 ajax.onreadystatechange = function()  
				 {   
				 if(ajax.readyState==1){obj.innerHTML = "Loading data ...";}
				 if (ajax.readyState == 4 && ajax.status == 200)   
				  {    
					   obj.innerHTML = ajax.responseText; 
				  } 
			   }
          ajax.send(null); 	
	}