var menuli = document.getElementById("nav").getElementsByTagName("dt");
var menuli2 = document.getElementById("nav").getElementsByTagName("dd");
var i;
for (i = 0; i < menuli.length; i++)
{
menuli[i].onclick=show;
menuli[i].num = i;
}
function show()
{
for(ii=0;ii<menuli.length;ii++){
menuli[ii].className="";
menuli2[ii].style.display = "none";
}
menuli[this.num].className="here";
menuli2[this.num].style.display = "block";
}