global $TEXT;
$return_value = " ";
if(SHOW_SEARCH) { 
    $return_value  = '<div class="box">';
    $return_value  .= '<h2 style="margin-bottom:10px;">'.$TEXT['SEARCH'].'</h2>';
    $return_value  .= '<form action="'.WB_URL.'/search/index'.PAGE_EXTENSION.'" method="get" name="search" class="searchform" id="search">';
    $return_value  .= '<input type="text" name="string" size="15" class="textbox" /> ';
    $return_value  .= '<input name="submit" type="submit" class="button" value="'.$TEXT['SEARCH'].'" />';
    $return_value  .= '</form>';
    $return_value  .= '</div>';
}
return $return_value;