class Unknown extends AncTree {

    int size( /* AncTree this */ ) {
        return 0;
    }

    
    AncTree changeName( /* AncTree this, */ String name1, String name2 ) {
        return new Unknown();
    }

    
    
}