<form method="get" action="<?php echo $_SERVER['PHP_SELF']; ?>">
<p>
<input type="text" value="<?php echo wp_specialchars($s, 1); ?>" size="18" name="s" id="s" />
<input type="submit" value="<?php _e('Suchen'); ?>" />
</p>
</form>