HASH(0x7fede65a5da8)