function getFile(url, target, loading_image) {
	if(loading_image == null)
		inner_html = '<div class="loading"><img src="../images/loading.gif" width="128" height="15" alt="loading" /> Processing ...</div>';
  else
    inner_html = '<div class="loading"><img src="images/loading.gif" width="128" height="15" alt="loading" /> Processing ...</div>';
		
  document.getElementById(target).innerHTML = inner_html;
  
  if(window.XMLHttpRequest){
    req = new XMLHttpRequest();
    
  }else if (window.ActiveXObject){
    req = new ActiveXObject("Microsoft.XMLHTTP");
  }
  
  if(req != undefined){
    req.onreadystatechange = function() { receivedFile(url, target); };
    req.open("GET", url, true);
    req.send("");
  }
}  


function postFile(url, target, inner_html, send) {
  document.getElementById(target).innerHTML = inner_html;
  
  if(window.XMLHttpRequest){
    req = new XMLHttpRequest();
    
  }else if (window.ActiveXObject){
    req = new ActiveXObject("Microsoft.XMLHTTP");
  }
  
  if(req != undefined){
    req.onreadystatechange = function() { receivedFile(url, target); };
    req.open("POST", url, true);
    req.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
    
    req.send(send);
  }
}  


function receivedFile(url, target) {
  // Request is "loaded"
  if(req.readyState == 4){
    
    // .. and ok
    if(req.status == 200){
      document.getElementById(target).innerHTML = req.responseText;
    }else{
      document.getElementById(target).innerHTML="Error loading file:\n"+ req.status + "\n" +req.statusText;
    }
  }
}

function load(name, div) {
	getFile(name, div, '');
	return false;
}