public int hashCode() {
   return node.hashCode();
 }