HASH(0x7fee15b0d2e0)