/* Miscellaneous declarations for the date-related functions below                              */
var months = new Array('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');

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

/* Function to write the last modified date.                                                     */
function lastModified() {
  var dateObj = new Date(document.lastModified)
  document.write("Last modified on " + dateObj.getDate() + "-" + months[dateObj.getMonth()] + "-" + fourdigits(dateObj.getYear()));
}

/* Places various objects into the footer.                                                        */
function pfoot() {
  var pobj
  pobj = "<div id='comments'><a href='mailto: dogle@northland.edu'>Comments / Questions?</a></div>"
  pobj = pobj + "<div id='ftrtag'><a href='http://www.ncfaculty.net/dogle'>www.ncfaculty.net/dogle</a></div>"
  pobj = pobj + "<div id='lastmod'><SCRIPT>lastModified()</script></div>"
  document.write(pobj);
}

function pcclicense() {
  var pobj
  pobj = "<div id='cclicense'>All content in these examples is licensed under the "
  pobj = pobj + "<a href='http://creativecommons.org/licenses/by-nc-sa/3.0/us/' target='_blank'>Creative Commons Attribution-Noncommercial-Share Alike 3.0 License</a>"
  pobj = pobj + " by the author of the example.  Please protect the author, yourself, and the concept of sharing knowledge by reading and abiding by this license."
  pobj = pobj + "</div>"
  document.write(pobj);
}