HASH(0x7fee025c7418)