HASH(0x7f5d053744c0)