HASH(0x7f138050d8e0)