<!--
// General scripts to include in 'Preload.JS' : © Lex Idenburg

// Day with full-months in EN
function initArray() {
	this.length = initArray.arguments.length;
	for (var i = 0; i < this.length; i++)
	this[i+1] = initArray.arguments[i]
}
// Fill month array
var maandArray = new initArray("jan","feb","mar","apr","may","jun","jul","aug","sept","oct","nov","dec");

function DateDisplay(datum) {
	var dag =   datum.getDate();
	var maand = datum.getMonth() + 1;
	var jaar =  datum.getYear();
	if (jaar < 70) {
		var jaar4 = (jaar + 2000);
		}
	else {
		var jaar4 = ((jaar < 1900) ? (jaar + 1900) : (jaar));
		}
	var datumwaarde = dag + " " + maandArray[maand] + " " + jaar4;
	return datumwaarde;
}
// General filedate
var lastUpdate = 'Last update: '+ DateDisplay(new Date(document.lastModified));

// New
function NieuwVensterE(URL) {
window.open(URL);
}
// Close
function Verwijder(URL) {
close(URL);
}
//
function safemail(weergave, name, domain) {
displayed=(typeof(weergave)=="undefined") ? name+"@"+domain : weergave
document.write("<a href=mailto:" + name + "@" + domain + ">" + displayed + "</a>");
}

function test(URI) {
$page=URI;
}
function NieuwInfo(URL) {
window.write(URL);
}

//-->

