controlsNode.textContent = (highlighted ? "▶" : ""); 
controlsNode.innerHTML = (highlighted ? "▶" : ""); 
function SetHighlighted(anchor, highlighted) {    var anchorNode = document.anchors[anchor];    var nextNode = anchorNode.nextSibling.nextSibling;    var controlsNode;    if (anchorNode.parentNode.tagName == "TH") {        controlsNode = anchorNode;    } else if (nextNode.className == "sidebyside") {        controlsNode = nextNode.rows[0].cells[0];    } else {        return;    }    controlsNode.textContent = (highlighted ? "▶" : "");}
4441	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4441/9736c87dad80d021bd22ae5bfc61cfc6d7bfd11a/diffviewer.js/clean/htdocs/scripts/diffviewer.js