'.htmlentities($loadedFile,ENT_COMPAT,$encoding).''; echo ""; ?>