HASH(0x7fabf01c04c8)