HASH(0x7f3870141430)