HASH(0x7f5c7987f5e8)