HASH(0x7fede264c6f8)