'.htmlspecialchars($log, ENT_QUOTES).''; } else { echo ''; } ?>