function gopage(file) 
       { top.rightpanel.document.location.href = file+".html" }
    function gointopage(file,name) 
       { top.rightpanel.document.location.href = file+".html#"+name }
    function goindex(dir) 
       { top.rightpanel.document.location.href = dir+"\/index.html" }

    function goindexonly(idx) 
       { document.location.href = idx+".html" }