function switchNav(target_img, highlight){
	var root_dir = "images/";
	target_src = document.getElementById(target_img);
	target_src.src = root_dir + target_img + highlight + ".gif";
}