function index(n) {
for(i=1;i<=4;i++) {document.getElementById('tab'+i).className='nonsel';
document.getElementById('cont'+i).style.display='none'}
document.getElementById('tab'+n).className='sel';
document.getElementById('cont'+n).style.display='block';
}