var holidays = new Array(
// ******************************* //
// 2006
  new Date(2006,5  -1, 1), // 1. Mai
  new Date(2006,5  -1,25), // Auffahrt
  new Date(2006,6  -1, 5), // Pfingstmontag
  new Date(2006,8  -1, 1), // 1. August
  new Date(2006,12 -1,24), // Weihnachten
  new Date(2006,12 -1,25), // Weihnachten
  new Date(2006,12 -1,26), // Weihnachten
  new Date(2006,12 -1,31), // Silvester
// 2007
  new Date(2007,1  -1, 1), // 1. Januar
  new Date(2007,4  -1, 6), // 6. April (Ostern)
  new Date(2007,4  -1, 7), // 7. April (Ostern)
  new Date(2007,4  -1, 9), // 9. April (Ostern)
  new Date(2007,4  -1,10), //10. April (Ostern)
  new Date(2007,5  -1, 1), // 1. Mai
// ******************************* //
0);

function sameDay(date1, date2) {
 return (date1.getDate()==date2.getDate())&&(date1.getMonth()==date2.getMonth())&&(date1.getYear()==date2.getYear());
}

function isHolidayOrSunday(date) {
 if (date.getDay()==0) // check sunday
  return true;
 for(var i=0;i<holidays.length-1/*sic*/;i++) // check holidays
  if (sameDay(date,holidays[i]))
   return true;
 return false;
}

