Miscellany

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