HASH(0x7f5cd56719d0)