<!-- hide from non-JS browsers

/* get current date */
var today = new Date();
var dayofweek = today.getDay();
var day = today.getDate();
var month = today.getMonth() + 1; /* offset counting from zero */
var year = today.getFullYear();

/************************************************
 * holidays are displayed as:                   *
 *                                              *
 * Memorial Day: 05/20 -> 05/31                 *
 * July 4th:     07/01 -> 07/04                 *
 * Labor Day:    first monday of sept           *
 * Columbus Day: second monday of Oct.          *
 * Halloween:    10/20 -> 10/31                 *
 * Veterans Day: 11/11                          *
 * Thanksgiving: 11/??                          *
 * Winter Holidays:                             *
 *    Christmas:    12/01 -> 12/25              *
 *    New Year:     12/26 -> 01/01              *
 ************************************************/

/* set holiday flags */
var isMemDay = (month == 5 && (day >=25 && day <= 31))
var isJulyFour = (month == 7 && (day >=1 && day <=4))
var isLaborDay = (month == 9 && (day <= 7 && dayofweek == 1))
var isColumbusDay = (month == 10 && ((day >= 7 && day <=14) && dayofweek == 1))
var isHalloween = (month == 10 && (day >= 20 && day <= 31))
var isVetDay = (month == 11 && day == 11)
var isThanksgiving = (month == 11 && (day >= 20 && day <= 30))
var isWinterHoliday = (month == 12 || (month == 1 && day <= 1))

if (isMemDay)
   document.write("Happy Memorial Day!");
if (isJulyFour)
   document.write("Happy Fourth of July!");
if (isLaborDay)
   document.write("Happy Labor Day!");
if (isColumbusDay)
   document.write("Happy Columbus Day!");
if (isHalloween)
   document.write("<center><img src=\"images/holidays/halloween.jpg\" alt=\"Happy Halloween!\"</center>");
if (isVetDay)
   document.write("<center><img src=\"images/holidays/vetday.jpg\" alt=\"Veterans Day\"</center>");
if (isThanksgiving)
   document.write("<center><img src=\"images/holidays/thanksgiving.jpg\" alt=\"Happy Thanksgiving\"</center>");
if (isWinterHoliday)
   document.write("<center><img src=\"images/holidays/holidays.jpg\" alt=\"Happy Holidays\"</center>");

// -->
