<div id="search_form">
<form method="get" action="<?php echo $_SERVER['PHP_SELF']; ?>">
<span><?php _e('Search:', 'stheme') ?></span>
<input type="text" value="<?php echo wp_specialchars($s, 1); ?>" name="s" id="s" />
<!-- <input type="submit" value="Search" class="searchbutton" hidden="true" /> -->
</form>
</div>