public override string ToString() { return id + ":" + eName + ":" + trName + ":" + Util.ArrayListToSingleString(options, ":"); }