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


//- 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;
  }