" . htmlspecialchars($fileContents) . ""; ?>