File name: HTML; if ($filename) { echo '

---

'; highlight_file("../$filename"); }