toc.style.display = 'none'; obj.innerHTML     = '<span>+</span>'; obj.className     = 'toc_open'; 
toc.style.display   = 'none'; obj.innerHTML       = '<span>+</span>'; obj.className       = 'toc_open'; 
function toggleToc() {  var toc = $('toc__inside');  var obj = $('toc__toggle');  if(toc.style.display == 'none') {    toc.style.display = '';    obj.innerHTML     = '-';    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/9511604cbc8a3ae95cd5965c14f8b6ca03886384/script.js/buggy/lib/scripts/script.js