HASH(0x7f5d0522d1e0)