rem: function showTocToggle(show,hide) { 
add: function showTocToggle(showtxt,hidetxt) { 
context: function showTocToggle(show,hide) {  if(document.getElementById) {    document.writeln('<div class=\'toctoggle\'><a href="javascript:toggleToc()" class="toc">' +    '<span id="showlink" style="display:none;">' + show + '</span>' +    '<span id="hidelink">' + hide + '</span>'    + '</a></div>');  }}
meta: 4895	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4895/90f3a5b141fc1e54922aa4fffcf026cfa542f2a8/script.js/clean/lib/scripts/script.js