function get_file_title($file){
$cont = file_get_contents($file);
preg_match( "#<title>(.*?)</title>#", $cont, $match);
return strip_tags($match[0]);
}