function hlightLink(id, hlight) {
	if (hlight) {
	    document.getElementById(id).getElementsByTagName('A')[0].style.color = '#2da5d2';
	} else {
	    document.getElementById(id).getElementsByTagName('A')[0].style.color = '#1f71b2';
	}
}