function show() {
   var xmlFile = show.arguments[0];

   if (document.getElementById) {
      var x = (window.ActiveXObject) ? new ActiveXObject("Microsoft.XMLHTTP") : new XMLHttpRequest();
   }
   if (x) {
      x.onreadystatechange = function() {
         // If the doc is fully loaded and status is completed
         if (x.readyState == 4 && x.status == 200) {
	        el = document.getElementById('text_box');
	        el.innerHTML = x.responseText;
	     }
      }
      x.open("GET", './ajax/' + xmlFile, true);
      x.send(null);
   }
}