function highlightNav(x){
	var n = document.getElementById("sub"+x);
	n.className="down";	
}