HASH(0x7f5cd90ba5f0)