HASH(0x7f3884ae05d0)