/* This function is supposed to be called when a content page is loaded */
  function init(){
    /* Forward if not in frame */
    forward(); 
    /* Add the date of the last update */
    setdate();
    /* Set height of the frame */
    goSetHeight();
  }


  /* This function sets the height of the iframe containing the current page */
  function goSetHeight() {
    if (parent != window){
      // no way to obtain id of iframe object doc loaded into? no parentNode or parentElement or ...
      parent.setIframeHeight('x');
      //parent.setIframeHeight('y');
    }
  }

  /* This function forces a content page to be loaded inside the main page */
 function forward() {
    if (parent == window){
      var Spath = window.location.pathname;
      var Spage = Spath.substring(Spath.lastIndexOf('/') + 1);
      location.href="../index.html?x=papers/"+Spage;
    }
  }


var days = new makeArray0(
  'Sunday', 'Monday', 'Tuesday', 'Wednesday',
  'Thursday', 'Friday', 'Saturday'
);

var months = new makeArray0(
  'January', 'February', 'March',
  'April', 'May', 'June',
   'July', 'August', 'September',
  'October', 'November', 'December'
);


function nths(day) { 
  if (day == 1 || day == 21 || day == 31)
    return 'st';
  else
   if (day == 2 || day == 22)
     return 'nd';
   if (day == 3 || day == 23)
     return 'rd';
   else return 'th';
}

function y2k(number) {
  return (number < 1000) ? number + 1900 : number;
}

  /* This function adds the date of the last update to the curent frame */
  function setdate(){
    var last = document.lastModified;
    var date = new Date(last);
    var lastdate = "<br><update>" + "Last updated on " + days[date.getDay()] + " " + date.getDate() + nths(date.getDate()) + " " +
  months[date.getMonth()] + ", " + (y2k(date.getYear())) + "." + "</update>";
    document.getElementById("content-in").innerHTML = document.getElementById('content-in').innerHTML + lastdate;
  }

function makeArray0() {
  for (i = 0; i<makeArray0.arguments.length; i++)
     this[i] = makeArray0.arguments[i];
}