HASH(0x7f3882dad0b8)