public int hashCode() { int hash = _ds.hashCode(); if (_user == null) return hash; else return 65521 * hash + _user.hashCode(); }