function SetNav(page){

	obj = eval("document.getElementById('topnav_" + page + "')");
	
	obj.className = obj.className + " header_link_selected";
	
}