<?PHP 
function fun_holiday($year,$month,$day)
{
  $ans = "false";
  $ddir = "data/day/";
  $Filename = $ddir."holiday.dat";
  $fp =@fopen($Filename,"r");
  $today = $year.fun_addzero($month).fun_addzero($day);
  while($buf=fgets($fp,9))
  {
    if ($buf == $today)
    
       {
        $ans = "true";
       }
  }
  return $ans;
}
?>