function updateHeaderLinks(li_name,a_name) {
	var li_element = document.getElementById(li_name);
	li_element.setAttribute('class', 'current');
	li_element.setAttribute('className', 'current');
	
	var a_element = document.getElementById(a_name);
	a_element.setAttribute('class', 'current');
	a_element.setAttribute('className', 'current');
}