return $hi
        if  $hi == $lo;
    $mid = int( ( $lo + $hi ) / 2 );