HASH(0x7fabf01bbcc8)