function hideall() { 
$$('.Archive').setStyle('display','none');
$$('.About').setStyle('display','none');
$$('.Publications').setStyle('display','none');
$$('.Contact').setStyle('display','none');
$$('.Billboard').setStyle('display','none');


}

function show(naam) { 
$$('.'+naam).setStyle('display','block');
$$('.'+naam).fade('in'); 
}// JavaScript Document