HASH(0x7fede407e010)