<!--

function setCurrentNav(nav_id){
	
	var styles = document.getElementById(nav_id).style;
	styles.color = "#06C";

}

// -->