function hover(name,ov){
	if (document.getElementById("ar"+name)){
		document.getElementById("ar"+name).src = "images/" + ((ov == 1)?"gray":"white") + "arrow.gif";
	}
}