HASH(0x7fee025f5938)