public String toString() {return slice.toString()+":"+ postingsEnum;}

public String toString ( ) { return slice . toString ( ) + ":" + postingsEnum ; }
public override string ToString(){return Slice.ToString() + ":" + DocsEnum;}
