function WAVcoin(
        ) {
        balances[msg.sender] = 1550000000.000;               
        totalSupply = 1550000000.000;                        
        name = "WAVcoin";                                   
        decimals = 3;                            
        symbol = "WAV";                               
    }