HASH(0x7fee025c1f78)