HASH(0x7fede2602a78)