HASH(0x76107deb89d8)