HASH(0x7efecc4dfae8)