contract PGT10Token is owned, TokenERC20 {

    string public constant name = "PGT10 Token";
    string public constant symbol = "PGT10";
    uint8 public constant decimals = 0;
    uint256 public totalSupply = 10000;

    /* Initializes contract with initial supply tokens to the creator of the contract. */
    function PGT10Token() public {
        balanceOf[msg.sender] = totalSupply;
    }
}
/// PGT10 Protocol Token.
function PGT10Token() public {
    balanceOf[msg.sender] = totalSupply;
}

/* Initializes contract with initial supply tokens to the creator of the contract. */