// active div

function deactivateAll(){
document.getElementById('nummenu').getElementsByTagName('a')[0].className = 'inactive';
document.getElementById('nummenu').getElementsByTagName('a')[1].className = 'inactive';
document.getElementById('nummenu').getElementsByTagName('a')[2].className = 'inactive';
document.getElementById('nummenu').getElementsByTagName('a')[3].className = 'inactive';
}

function active(L){
document.getElementById(L).getElementsByTagName('a')[0].className = 'active';
}