function get_doctype($file){ 

$h1tags = preg_match('/<!DOCTYPE (\w.*)dtd">/is',$file,$patterns); 

$res = array(); 

array_push($res,$patterns[0]); 

array_push($res,count($patterns[0])); 

return $res; 

}