function hilite(i) {
	var link=document.getElementById('link'+i);
	link.style.backgroundColor='#93bc99';
}
function unhilite(i) {
	var link=document.getElementById('link'+i);
	link.style.backgroundColor='#333333';
}