'.htmlspecialchars($s).''; } else { $search_title = ''.htmlspecialchars($s).''; } ?>