public String toString(){return text + '(' + startOffset + ',' + endOffset + ',' + position + ')';}
public override string ToString(){StringBuilder sb = new StringBuilder();sb.Append(text).Append('(').Append(startOffset).Append(',').Append(endOffset).Append(',').Append(position).Append(')');return sb.ToString();}