HASH(0x7f5ced196bf8)