HASH(0x7fede403b660)