// JavaScript Document
function getHolidays ( selectedtype )
{
  document.holidays.getHolidays.value = selectedtype ;
  document.holidays.submit() ;
}