function navSet(p){o=document.getElementById('nav'+p);if(o!=null) o.style.color='#E80012';}