HASH(0x7f5cf87e8b80)