HASH(0x76107def44f0)