HASH(0x7f5ca4e3b8d0)