function nav_highlight (state, which) {
}

function nav_highlight2 (state, which) {
}

xx= window.innerWidth;
if (!xx) xx= document.body.clientWidth;
if (!xx) xx= document.body.offsetWidth;