// in dit bestand functies voor
//		Mailto
//		Bij_datum is datum-tag van het aanroepende htm-bestand. (werkt niet in php?)

//	Mailto
function decMailto(enc, ext) {		//decode mailname
	var dec="mailto:";
	var len=enc.length;
	var n=0;
	for (var i=0; i<len; i++) {
		n=enc.charCodeAt(i);
		if ( n>=97 && n<=122 ) {			//alfa 
			n-=1;
			if ( n==96 ) { n=122; }
		}
		if ( n>=65 && n<=90 ) {				//ALFA 
			n-=1;
			if ( n==64 ) { n=90; }
		}
		dec+=String.fromCharCode( n );
	}
	dec+='@';
	if (typeof ext != 'string') {
		ext=document.domain.toLowerCase();
		n=ext.indexOf('www.');
		if ( n > -1 ) {	ext=ext.substr( n+4 ); }
	}
	if ( ext.length===0 ) { ext='local.or.unknown'; }
	dec+=ext;
	return dec;
}
function linkMailto(encName, dmnExt) {		//replace mailto
	location.href=decMailto(encName, dmnExt);
}

// Bij_datum als datum waarop het aanroepende htm-bestand is bijgewerkt
	function NedDatum(datum) {
		var d = datum.getDate();
		var m = datum.getMonth()+1;
		var j = datum.getYear();
		if ( j < 1900 ) { j += 1900; }
		var maand =
			(1==m)?'januari': (2==m)?'februari': (3==m)?'maart': 
			(4==m)?'april': (5==m)?'mei': (6==m)?'juni': (7==m)?'juli': 
			(8==m)?'augustus': (9==m)?'september': (10==m)?'oktober':
			(11==m)?'november': 'december';
		return "" + d +" " + maand +" " + j;
	}
var Bij_Datum = new Date(  Date.parse( document.lastModified )  );
Bij_Datum = "" + NedDatum( Bij_Datum );