HASH(0x7f5cdda007d0)