function tokoo_header_search() {
    ?><div class="header-search"><?php
    if ( tokoo_is_woocommerce_activated() ) {
        if ( function_exists( 'aws_get_search_form' ) ) { aws_get_search_form(); }
    } else {
        the_widget( 'WP_Widget_Search', 'title=' );
    } ?></div><?php
}