HASH(0x7f5ca41b73d0)