HASH(0x76102ef40cd0)