HASH(0x76102cea7d00)