HASH(0x7f3880352540)