public String toString() {return "term=" + term + ",field=" + field + ",value=" + valueToString() + ",docIDUpto=" + docIDUpto;}
public override string ToString(){return "term=" + term + ",field=" + field + ",value=" + value;}