HASH(0x7f5c985d77a0)