function showTocToggle(showtxt,hidetxt){if(document.getElementById){show='<img src="'+DOKU_BASE+'lib/tpl/neolaoresources/images/arrow_down.gif" alt="'+showtxt+'">';hide='<img src="'+DOKU_BASE+'lib/tpl/neolaoresources/images/arrow_up.gif" alt="'+hidetxt+'">';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>');}}