HASH(0x7fabfd99b708)