怎么将读入的html文件输出为字符

$DocumentRoot = $_SERVER['DOCUMENT_ROOT'];
$a = readfile("$DocumentRoot/index-1.html");
?>
<?php echo $a; ?>

<br /><?php<br />$DocumentRoot = $_SERVER['DOCUMENT_ROOT'];<br />$a = fopen("$DocumentRoot/index-1.html",'rb');<br />while(!feof($a)){<br />	$aa = fgets($a,999);<br />	echo $aa;<br />	}<br />?>

$new = htmlspecialchars("Test", ENT_QUOTES);
echo $new;
?>