HASH(0x7f7ab457dfe0)