function wijzigtab(tab)
{tabul=tab.parentNode.getElementsByTagName('li');for(i=0;i<tabul.length;i++)
{if(tabul[i]==tab)
document.getElementById('tab'+i).style.display='';else
document.getElementById('tab'+i).style.display='none';tabul[i].className='';}
tab.className='active';}