      monthNames = ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"];
      dayNames = ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"];
      
      function customDateString(oneDate) {
         var theDay = dayNames[oneDate.getDay()];
         var theMonth = monthNames[oneDate.getMonth()];
         var theYear = oneDate.getFullYear();
         return theDay + ", " + theMonth + " " + oneDate.getDate() + 
            ", " + theYear;
      }
   
		 copyright=new Date();
		update=copyright.getFullYear();
 

function increaseFontSize() {
  var className = getClassName();
  if ('normal' == className) {
    d('fontSize').className = 'medium';
  }
  else if ('medium' == className) {
    d('fontSize').className = 'large';
  }
}

function decreaseFontSize() {
  var className = getClassName();
  if ('medium' == className) {
    d('fontSize').className = 'normal';
  }
  else if ('large' == className) {
    d('fontSize').className = 'medium';
  }
}

function getClassName() {
  return d('fontSize').className;
}

function d(id) {
  return document.getElementById(id);
}
