HASH(0x7fee2258f478)