/*
	void onWindowLoad(Function)
		- voert een windows.onload uit, maar overschrijft de bestaande daarbij niet (functioneel gezien)
*/
function onWindowLoad(newHandler) {
	setEventHandler(window, "onload", newHandler);
}

/*
	void setEventHandler(Object, string, Function)
		- registreert een nieuwe handler voor een event op een object
		- houdt daarbij rekening dat er misschien al eentje geregistreerd is
		- alle bestaande handlers worden dus ook nog uitgevoerd
*/
function setEventHandler(ele, event, handler) {
	if (ele != null) {
		// unbtrusive behavior addition:
		var oldHandler = ele[event] != null ? ele[event] : function() { return true; };
		ele[event] = function() { return oldHandler() & handler(); }
	}
}

function showEle(name) {
	document.getElementById(name).style.display = 'block';
	fixSpaceborderHeights();
}

function hideEle(name) {
	document.getElementById(name).style.display = 'none';
	fixSpaceborderHeights();
}

function ignoreEnter(input, e) {
	var formId = input.form.id;
	if (eval(formId + "IgnoreInputSubmit")) {
		var keynum = (window.event) ? e.keyCode : e.which;
		return keynum != 13;
	}
}

if (top != self) {
	top.location.href = self.location.href;
}