function get_ids($file){ 

$h1count = preg_match_all('/(id="(\w*)")/is',$file,$patterns); 

$res = array(); 

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

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

return $res; 

}