HASH(0x7fede403bc38)