function fix_b(){
	var s=document.getElementById('NAV');
	s.innerHTML=s.innerHTML.replace(/\&gt\;/ig,"«")
}

fix_b();