HASH(0x7fabfd99a4b0)