// not used anymore
function changePage(page,index)
{
  parent.frames[index].location = page;
}

// sends argument "page" to copyright page, which sets it as current page for replacement
// TODO - rename this function - setCopyrightPage?
function setCurrentPage(page)
{
  parent.frames[1].location = "copyright.html" // ?currentPage=" + page
}

// see http://www.w3schools.com/js/tryit.asp?filename=tryjs_date_fulldate -->
function showDate()
{
  var d=new Date()
  var weekday=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
  var monthname=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
  document.write(weekday[d.getDay()] + " ")
  document.write(monthname[d.getMonth()] + " ")
  document.write(d.getDate() + ", ")
  document.write(d.getFullYear())
}