HASH(0x7d3e94019120)