function setLeftNav(navlink) {
		var link = "nav_"+navlink;
		var linkToChange = document.getElementById(link);
		if (linkToChange) linkToChange.src = 'images/nav_'+navlink+'_f2.gif';
}