HASH(0x7f5cedf1c4a0)