HASH(0x7fede259cd90)