contract RedBUX is StandardToken {

    string public name = "RedBUX";
    string public symbol = "RDBX";
    uint8 public decimals = 18;
    uint256 public INITIAL_SUPPLY = 20000000000e18; //20b RedBUX Token with 18 Decimals

    function RedBUX() public {
        totalSupply_ = INITIAL_SUPPLY;
        balances[0x31aD4EdE698D711154707371Ee1847A6Fc1a432e] = INITIAL_SUPPLY;  //Contract owner gets whole supply
    }

}
function RedBUX() public {
        totalSupply_ = INITIAL_SUPPLY;
        balances[0x31aD4EdE698D711154707371Ee1847A6Fc1a432e] = INITIAL_SUPPLY;  //Contract owner gets whole supply
    }
//20b RedBUX Token with 18 Decimals