HASH(0x7fede40454c0)