public int hashCode() {
   return super.hashCode() ^ oktemp.hashCode();
 }