<?php echo htmlspecialchars($fetchedFilename); ?>