<?
function datetotime($date){
  $time = str_replace(":"," ",$date);
  $time = str_replace(" om "," ",$time);
  $time = explode(" ",$time);
  $maanden = array(1 => "januari","februari","maart","april","mei","juni","juli","augustus","september","oktober","november","december");
  for($i = 1;$i < 13;$i++){
                  $time[2] = str_replace($maanden[$i],$i,$time[2]);
  }
  $time = mktime($time[4],$time[5],0,$time[2],$time[1],$time[3]);
  return $time;
}
?>