<!-- 
function makeArray() { 
  for (i = 0; i < makeArray.arguments.length; i++) 
    this[i + 1] = makeArray.arguments[i]; 
  }

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

  var modifiedDate = new Date(document.lastModified); 
  document.write('<span class="date">Page last updated: ' + modifiedMonth[modifiedDate.getMonth() + 1] + ' ' + 
                                    modifiedDate.getDate() + ', ' + 
                                    modifiedDate.getFullYear() + '.</span>');
--> 
