var nav = document.getElementById("nav").getElementsByTagName("b");
var i;
for (i = 0; i < nav.length; i++)
{
nav[i].onmouseover=shownav;
nav[i].onmouseout=shownav2;
nav[i].num = i;
}
function shownav()
{
for(ii=0;ii<nav.length;ii++){
nav[ii].className="";
}
nav[this.num].className="sfhover";
}
function shownav2()
{
for(ii=0;ii<nav.length;ii++){
nav[ii].className="";
}
}