def __hash__(self): return myhash(self.description_plus_paths())
def __hash__(self): return myhash(self.get_id_str())