HASH(0x7f5cdde9ea80)