HASH(0x7f5cddefd4e0)