HASH(0x7fee025f0028)