// CATCH MOUSEWHEEL
if(!(document.attachEvent)) {
	window.addEventListener("DOMMouseScroll", handleWheel, false);
}
function handleWheel(event) {
	var app = window.document["${application}"];
	if (app) {
		var o = {x: event.screenX, y: event.screenY,
			delta: event.detail,
			ctrlKey: event.ctrlKey, altKey: event.altKey,
			shiftKey: event.shiftKey}
	   
		app.handleWheel(o);
	}
}