function openElearning(cursus) {
	var presentatie82 = window.open('/elearning/presentatie82.jsp?cursus='+cursus, 'presentatie82','width=750,height=540, location=no,menubar=no,status=no,resizable=no,scrollbars=no');
};
function viewobjdry(id) {
	var popup = window.open('viewobjdry.jsp?id='+id, 'viewobjdry','width=750,height=540, location=no,menubar=no,status=no,resizable=no,scrollbars=no');
};
function newwindow(url) {
	var popup = window.open(url, 'newwindow','width=780,height=540,location=yes,menubar=yes,status=yes,resizable=yes,scrollbars=yes');
};
function scrollRef(id,positie) {
	var ref = window.open('/scrollref.jsp?id='+id+'&positie='+positie, 'ref','width=400,height=300, location=no,menubar=no,status=no,resizable=no,scrollbars=no');
};
function mwTag(tag,keyword,extra,refresh){
	DocURL = document.URL;
	protocolIndex=DocURL.indexOf("://",4);
	serverIndex=DocURL.indexOf("/",protocolIndex + 3);
	domein=DocURL.substring(protocolIndex + 3 ,serverIndex);
	if (domein.indexOf("www.")!=-1) metriwebTag(tag,keyword,extra,refresh);
};
function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++) {
		var element = arguments[i];
		if (typeof element == 'string') element = document.getElementById(element);
		if (arguments.length == 1) return element;
		elements.push(element);
	}
	return elements;
};
function addEvent(element, type, handler) {
	if (element.addEventListener) {
		element.addEventListener(type, handler, false);
	} else {
		// assign each event handler a unique ID
		if (!handler.$$guid) handler.$$guid = addEvent.guid++;
		// create a hash table of event types for the element
		if (!element.events) element.events = {};
		// create a hash table of event handlers for each element/event pair
		var handlers = element.events[type];
		if (!handlers) {
			handlers = element.events[type] = {};
			// store the existing event handler (if there is one)
			if (element["on" + type]) {
				handlers[0] = element["on" + type];
			}
		}
		// store the event handler in the hash table
		handlers[handler.$$guid] = handler;
		// assign a global event handler to do all the work
		element["on" + type] = handleEvent;
	}
};
// a counter used to create unique IDs
addEvent.guid = 1;

function removeEvent(element, type, handler) {
	if (element.removeEventListener) {
		element.removeEventListener(type, handler, false);
	} else {
		// delete the event handler from the hash table
		if (element.events && element.events[type]) {
			delete element.events[type][handler.$$guid];
		}
	}
};

function handleEvent(event) {
	var returnValue = true;
	// grab the event object (IE uses a global event object)
	event = event || fixEvent(((this.ownerDocument || this.document || this).parentWindow || window).event);
	// get a reference to the hash table of event handlers
	var handlers = this.events[event.type];
	// execute each event handler
	for (var i in handlers) {
		this.$$handleEvent = handlers[i];
		if (this.$$handleEvent(event) === false) {
			returnValue = false;
		}
	}
	return returnValue;
};

function fixEvent(event) {
	// add W3C standard event methods
	event.preventDefault = fixEvent.preventDefault;
	event.stopPropagation = fixEvent.stopPropagation;
	return event;
};
fixEvent.preventDefault = function() {
	this.returnValue = false;
};
fixEvent.stopPropagation = function() {
	this.cancelBubble = true;
};
//hou het compatibel met mijn vorige scripting
function addLoadEvent(func) {addEvent(window,'load',func);};