HASH(0x7f5ccdfedcb8)