function randomWinner(string randomResult) private {
    require(betAmount_ > 1);  

    
    uint256 value = uint256(sha3(randomResult)) % (betAmount_ - 1);

    
    uint256 betAddrsCount = betAddrsCount_;
    for (uint256 i = 1; i < betAddrsCount; ++i) {
      address player = betAddrs_[i];    
      assert(player != address(0));
      uint256 weight = bets_[player].amount;
      if (value < weight) {
        
        luckyWin(player, weight);
        return;
      }
      value -= weight;
    }

    
    assert(false);
  }