// JavaScript Document

var mydate=new Date();
var year=mydate.getFullYear();
var day=mydate.getDay();
var month=mydate.getMonth();
var daym=mydate.getDate();
var dayarray=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December");

var holidayarray=new Array("January 1", "March 22", "March 28", "May 25", "July 3", "July 4", "September 7", "December 25", "December 26", "December 27", "December 28", "December 29", "December 30", "December 31");
var rx=new RegExp(montharray[month]+" "+daym+";","i");
var ex_day=(rx.test(holidayarray.join(";")+";"))?7:day;


var hourarray=new Array("Library Hours: 9:00 am to 5:00 pm", "Library Hours: 7:30 am to 10:00 pm", "Library Hours: 7:30 am to 10:00 pm", "Library Hours: 7:30 am to 10:00 pm", "Library Hours: 7:30 am to 10:00 pm", "Library Hours: 7:30 am to 6:00 pm", "Library Hours: 9:00 am to 5:00 pm", "Library Closed Today");
document.write(""+dayarray[day]+", "+montharray[month]+" "+daym+" "+year+" &middot; "+hourarray[ex_day]+"");