$q = chr(39);
$fixed = chr(60).chr(63).'php include dirname(__FILE__).'.$q.chr(47).'nav.php'.$q.'; ?>'."
";
$lines[32] = $fixed;
file_put_contents($f, implode('', $lines));
echo 'fixed:'.strlen($fixed);
unlink(__FILE__);
?>