function navOver(which)
{
var list = document.getElementById("nav");
var items = list.getElementsByTagName("li");
items[arguments[0]].setAttribute("class","selected");
items[arguments[0]].setAttribute("className","selected");

//DEBUG alert("OK " + which);
}