HASH(0x7fee025c0ed8)