$tmpl_file = "themes/NukeNews/header.html";
    $thefile = implode("", file($tmpl_file));
    $thefile = addslashes($thefile);
    $thefile = "\$r_file=\"".$thefile."\";";
    eval($thefile);
    print $r_file;

<tr valign="middle" bgcolor="#dedebb"> 
<td width="15%" nowrap><font class="content" color="#363636"> 
<b>$theuser</b></font></td> 
<td align="center" height="20" width="70%"><font class="content"><B> 
<A href="index.php">Home</a> 
·
<A href="modules.php?name=Topics">Topics</a> 
·
<A href="modules.php?name=Downloads">Downloads</a> 
·
<A href="modules.php?name=Your_Account">Your Account</a> 
·
<A href="modules.php?name=Submit_News">Submit News</a> 
·
<A href="modules.php?name=Top">Top 10</a> 
</B></font>
</td>
<td align="right" width="15%"><font class="content"><b> 
<script type="text/javascript"> 
<!--   // Array ofmonth Names 
var monthNames = new Array(
"January","February","March","April","May","June","July","August","September",
"October","November","December"); 
var now = new Date();
thisYear = now.getYear(); 
if(thisYear < 1900) {thisYear += 1900}; // corrections if Y2K display problem 
document.write(monthNames[now.getMonth()] + " " + now.getDate() + ", " + thisYear); 
// -->
</script></b></font></td> 
<td> </td>
</tr>