HASH(0x76101c1badc0)