function h1($file) {
	$t = file_get_contents($file);
	return substr($t, strpos($t, '<h1>')+4, strpos($t, '</')-4);
}