function navSwitch(new_dot, new_navSet) {
	
	document.getElementById('nav_Set1').style.display = 'none';
	document.getElementById('nav_Set2').style.display = 'none';
	document.getElementById('nav_Set3').style.display = 'none';		
	document.getElementById(new_navSet).style.display = 'block';	
	

	document.getElementById('dot_1').className = '';
	document.getElementById('dot_2').className = '';
	document.getElementById('dot_3').className = '';		
	document.getElementById(new_dot).className = 'active';		

}