function venster() { 
//layer vertikaal centreren
var hoogte;
var vensterhoogte=document.body.clientHeight; //alleen IE maar niet in beta v7
var schermhoogte=screen.availHeight;
var knoppenbalk=300; //houdt ook rekening met niet fullscreen, dus vaak iets boven het midden uitlijnen
var layerhoogte=640;
	
if (vensterhoogte>10) {
		hoogte=vensterhoogte;
	}
	else {
		hoogte=schermhoogte-knoppenbalk;
	}

var margetop=(hoogte-layerhoogte)/2;
if (margetop < 0) {
 	margetop = 0;
 }
margetop=margetop+"px";

document.write('<style type="text/css"> #Basis2 {margin-top:'+margetop+';}</style>');
return true;
};