function navover(thing){
document.getElementById(thing).className='sectionhover';
}

function navooff(thing){
document.getElementById(thing).className='sectionoff';
}

function navoon(thing){
document.getElementById(thing).className='sectionon';
}