ＰＨＰ怎样排除非上班时段？急救～～～

Question

已知：上班时间是８点半到１２点，下午上班时间是１３点３０到１７点。并已获取开始时间和结束时间。
要求：排除非上班时段和节假日。
代码已算计算环节假期
  $HOLIDAY=0;
  $queryHoliday = "select count(*) from holiday_config WHERE date>='".date( "Y-m-d", strtotime($PRCS_BEGIN_TIME) )."' AND date<='".date( "Y-m-d", time( ) )."'";
  $cursor1Holiday = exequery( $connection, $queryHoliday );
  while ( $ROW = mysql_fetch_array( $cursor1Holiday ) )
  {
   $HOLIDAY = $ROW[0];
  
  }所用的时间：$TIME_USED = time( ) - strtotime( $BEGIN_TIME );$TIME_USED就是所用的时间
time（） 就是现在的时间
$BEGIN_TIME 就是开始时间
现在想得到的结果是：所用的时间$TIME_USED 必须是减去节假日时间和非上班时段的时间
例如：我开始时间是2011-06-21 08:46:42，然后结束时间是2011-06-21 13:46:42，返回来的时间应该是03:14:00 
希望大家帮忙一下，谢谢了。

Answer 1

//上午
echo date('H:i:s',strtotime('12:00') - strtotime('08:46:42'));//03:13:18
//下午
echo date('H:i:s',strtotime('13:46:42') - strtotime('13:30'));//00:16:42加起来共 3:30
如何能得出 03:14:00 来的？