HASH(0x7d3e94cf7fd8)