function PlaceFader(aantal, pad){
document.write('');
}
function PlaceHeader(){
document.write('');
}
function PlaceHeader2(){
document.write('');
}
function PlaceHeader_De(){
document.write('');
}
function PlaceHeader_De2(){
document.write('');
}
function PlaceKaart(){
document.write('');
}
function PlaceKaart_De(){
document.write('');
}