HASH(0x7f5cdede0000)