PHP JavaScript to HTML Function

JavaScript to HTML Function

<?
$file = "header.html";

if (is_file($file)) {
  $data = file($file);
  echo "<script type=\"text/javascript\">\n";
  foreach($data as $show) { $show = trim($show); echo "document.write(\"$show\");"; }
  echo "</script>";
}
?>