HASH(0x7fee125fb148)