rem: theNum.appendChild(document.createTextNode("" + (1+n) + ".")); 
context: function getLabel(n) {    // get the label text for a buffer:    var theNode = document.createElement('span');    theNode.setAttribute('class', 'code1');    var theNum = null;    if (g_cq_buffer_current != n) {        // provide a link to load the buffer        theNum = document.createElement('a');        theNum.setAttribute('href', "javascript:refreshBufferList(" + n + ")");        theNum.appendChild(document.createTextNode("" + (1+n) + "."));    } else {        // show the current index in bold        //alert("getLabel: " + n + ", " + g_cq_buffer_current);        theNum = document.createElement('b');        theNum.appendChild(document.createTextNode("" + (1+n) + "."));    }    theNode.appendChild(theNum);    // write the first 30 chars of the buffer to the label    theNode.appendChild(document.createTextNode                        (" " + normalize(getBuffer(n).value).substring(0, 29)));    return theNode;} // getLabel
meta: 952	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/952/469474651c3f770b832f583fd47778d445b5bf5a/cq.js/buggy/cq.js