HASH(0x7fee2258d6e0)