// JavaScript Document
// This formats the current date for display at the top of the page

var today_date= new Date();
var month=today_date.getMonth();
var today=today_date.getDate();
var year=today_date.getFullYear();

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