HASH(0x76102807bf60)