function doSwitch(which){
	for(i=1;i<=10;i++){
		var n = document.getElementById("highlight"+i);
		var m = document.getElementById("hlink"+i);
		n.style.display="none";
		m.firstChild.className="";
	}	
	var n = document.getElementById("highlight"+which);
	var m = document.getElementById("hlink"+which);
	n.style.display="block";
	m.firstChild.className="on";
}