return (true);
ObjID that = (ObjID) obj; return that.objNum == objNum && eq(that.space, space);
  public boolean equals(Object obj)  {    if (obj instanceof ObjID && this.objNum == ((ObjID) obj).objNum)      {		return (true);	}	return (false);  }