var obj       = document.createElement('span'); obj.id        = 'toc__toggle'; obj.innerHTML = '<span>-</span>'; obj.className = 'toc_close'; obj.onclick   = toggleToc; 
var obj          = document.createElement('span'); obj.id           = 'toc__toggle'; obj.innerHTML    = '<span>-</span>'; obj.className    = 'toc_close'; obj.onclick      = toggleToc; obj.style.cursor = 'pointer'; 
function addTocToggle() {    if(!document.getElementById) return;    var header = $('toc__header');    if(!header) return;    var obj       = document.createElement('span');    obj.id        = 'toc__toggle';    obj.innerHTML = '<span>-</span>';    obj.className = 'toc_close';    obj.onclick   = toggleToc;    prependChild(header,obj);}
2895	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2895/9511604cbc8a3ae95cd5965c14f8b6ca03886384/script.js/buggy/lib/scripts/script.js