HASH(0x7f134404dad0)