HASH(0x7fee025fa8d8)