<!-- hide script from old browsers

function nav_mouse_over(id){
	element = document.getElementById(id);
	/*element.style.background = 'blue';*/
	/*element.style.color = 'white';*/
	element.style.fontWeight = 'bold';
	element.style.border = 'solid medium blue';
}
function nav_mouse_out(id) {
	element = document.getElementById(id);
	/*element.style.background = 'white';*/
	/*element.style.color = 'blue';*/
	element.style.fontWeight = 'normal';
	if (id != 'selected') {
		element.style.border = 'solid medium white';
	}
}

// end hiding script from old browsers -->