HASH(0x7fee025eae48)