'.htmlspecialchars($s).''; ?>