HASH(0x7fabf824fd68)