function getHighlighterId(id)
    {
        var prefix = 'highlighter_';
        return id.indexOf(prefix) == 0 ? id : prefix + id;
    }
Generates HTML ID for the highlighter.
@param {String} highlighterId Highlighter ID.
@return {String} Returns HTML ID.