HASH(0x7fee125efff0)