obj.innerHTML       = '<span>-</span>'; 
obj.innerHTML       = '<span>&#8211;</span>'; 
function toggleToc() {  var toc = $('toc__inside');  var obj = $('toc__toggle');  if(toc.style.display == 'none') {    toc.style.display   = '';    obj.innerHTML       = '<span>-</span>';    obj.className       = 'toc_close';  } else {    toc.style.display   = 'none';    obj.innerHTML       = '<span>+</span>';    obj.className       = 'toc_open';  }}
2895	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2895/42a2974e5c0ce173f492c248f74393c729eb2bfc/script.js/buggy/lib/scripts/script.js