HASH(0x7fee338f14d0)