var labels = new function() {
	this.Find = function(naam) {
		var waarde = edlabels[naam];
		return waarde != undefined ? waarde : 'label "' + naam + '" undefined (js)';
	}
}