1
function SetSelection(b,v)
11
document.getElementById (b).className = t;
12
document.getElementById (b + "Tab").className = tab;
15
function ShowContents ()
17
SetSelection ("contents", true);
18
SetSelection ("index", false);
23
SetSelection ("contents", false);
24
SetSelection ("index", true);
25
document.getElementById ('indexInput').focus ();