var mm_player = function ()

        {
        this . number = null;
        this . color = null; // one of {null, "white", "black"}
        this . artificial = NO;
        };