return super.hashCode(); }
if (hash==0) { for (int i = 0; i < localAddr.length; i++) hash += addr[i]; hash = hash ^ uid.hashCode(); } return hash; }
  public int hashCode ()  {    return super.hashCode();  }