HASH(0x7fabf825c5b8)