function include(filename)
{
	var head = document.getElementsByTagName('head')[0];
	
	script = document.createElement('script');
	script.src = filename;
	script.type = 'text/javascript';
	
	head.appendChild(script)
}

include('/static/js/jquery.cookie.pack.js');
include('/static/js/jquery.cluetip.pack.js');
include('/static/js/jquery.ui.core.datepicker.packed.js');
include('/static/js/ui.datepicker-nl.js');
include('/static/js/swfobject.js');
include('/static/js/ov-chipkaart.js');
include('/static/js/ajxValidatieFuncties.js');
include('/static/js/onload.js');
include('/static/js/dwr_engine.js');