HASH(0x7fabf823e1a0)