313 function selectAndHighlight(hash,n)  argument
316   if (hash) {
317     var link=stripPath(pathName())+':'+hash.substring(1);
339 function showNode(o, node, index, hash)  argument
346         showNode(o,node,index,hash);
357         showNode(o,n,index+1,hash);
364             showNode(o,node,index,hash); // retry with child node expanded
373           selectAndHighlight(hash,n);
378     selectAndHighlight(hash);
408 function gotoNode(o,subIndex,root,hash,relpath)  argument
410   var nti = navTreeSubIndices[subIndex][root+hash];
419     showNode(o, o.node, 0, hash);
423 function navTo(o,root,hash,relpath)  argument
429     if (parts.length>1) hash = '#'+parts[1].replace(/[^\w\-]/g,'');
430     else hash='';
432   if (hash.match(/^#l\d+$/)) {
433     var anchor=$('a[name='+hash.substring(1)+']');
435     hash=''; // strip line number anchors
437   var url=root+hash;
442     gotoNode(o,i,root,hash,relpath)
451         gotoNode(o,i,root,hash,relpath);
535      if (window.location.hash && window.location.hash.length>1){