HASH(0x7efecc4da898)