function highlightSelection( s ){
	for(i=0;i<s.length;i++){
		s[i].style.backgroundColor='#faf6eb';
	}
	s[s.selectedIndex].style.backgroundColor='#FFFF99';
	s.style.backgroundColor='#FFFF99';
} // End highlightSelection