HASH(0x7fabf82757c0)