var windowsKeydown;
	var loginVenster;
	
	function hotKeys(event) {
		//NIET MEER NODIG!
	}
	
	function noWindowsKey() {
		windowsKeydown = false;
	}
	
	//MICE LOGINVENSTER		
	document.write('<link rel="stylesheet" href="http://applications.binadit.nl/mice/css/ext-all-forwebsites.css" type="text/css" />');
	document.write('<script type="text/javascript" src="http://applications.binadit.nl/mice/javascript/extjs/adapter/ext/ext-base.js"></script>');
	document.write('<script type="text/javascript" src="http://applications.binadit.nl/mice/javascript/extjs/ext-all.js"></script>');
	document.write('<script type="text/javascript" src="http://applications.binadit.nl/mice/javascript/miceLogin.js"></script>');