HASH(0x7f5ca01160d0)