HASH(0x7fee125c07d0)