HASH(0x7fede004d988)