HASH(0x7f5cddf2e3d0)