HASH(0x76107fbbfef0)