HASH(0x7d3e94cf8938)