HASH(0x7c4d5895c7f8)