HASH(0x7fede0056be8)