HASH(0x7f083c225c80)