var meModified = new Date(document.lastModified);

var req;
var mypagename = getPageName();
var mypagefn=mypagename.replace(".shtml","")
mypagefn = mypagefn.replace(".html","")

function pageinit() {
  var url = "../cgi-bin/gcountdir/gcount.pl?1=hfesatl-" + mypagefn
  remoteGet(url)
  var myObj
  myObj = document.getElementById("feedbacklink")
  if (myObj) myObj.href=myObj.href+"&showprev="+document.location
  myObj = document.getElementById("lastmodcontent")
  if (myObj) myObj.innerHTML = "Modified: " + meModified;
  }

function remoteGet(url) {
  if (window.XMLHttpRequest) {
    req = new XMLHttpRequest();
    }
  else if (window.ActiveXObject) {
    isIE = true;
    req = new ActiveXObject("Microsoft.XMLHTTP");
    }
  if (req) {
    req.open("GET", url, true);
    req.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
    req.onreadystatechange = processReqChange;
    req.send(null);
    }
  }

function openclosediv(id) {
  var imgname, imgid, myObj, divObj
  imgid="img"+id
  myObj = document.getElementById(imgid)
  divObj = document.getElementById(id)
  if ((divObj) && (myObj)) {
    imgname=myObj.src
    if (-1 < imgname.indexOf("side")) {
      myObj.src = "arrow-black-down.gif";
      divObj.style.display="";
      }
    else {
      myObj.src = "arrow-black-side.gif";
      divObj.style.display="none";
      }
    }

  }

function processReqChange() {
  // only if req shows "loaded"
  if (req.readyState == 4) {
      // only if "OK"
    var myObj = document.getElementById("countercontent")
    if (req.status == 200) {
      var mytext = req.responseText.split("'")
      if (myObj) myObj.innerHTML = mytext[1]
      }
    else {
      if (myObj) myObj.innerHTML = "????"
      }
    }
  }

//- Fcn: getPageName 1.2
// Globals: (none, returns what will become page_name at top)
function getPageName () {
  var page_n=location.href
  var i=page_n.indexOf("?",0)
  if (-1 < i) {
    page_n=page_n.substring(0,i)
    }
  var ip=page_n.indexOf("#",0)
  if (-1 < ip) {
     page_n=page_n.substring(0,ip)
     }
  var i=page_n.indexOf("/",0)
  while (i > -1) {
    page_n=page_n.substring(1+i,page_n.length)
    i=page_n.indexOf("/",0)
    }
  if (page_n == "") { page_n = "index.html" };
  return page_n;
  }