HASH(0x7f5ced1da080)