function fireZoomEvent(oldVal, newVal) {
// void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, DOMWindow
// view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey,
// bool altKey, bool shiftKey, bool metaKey);
var evt = document.createEvent("WheelEvent");
evt.initWebKitWheelEvent(0, (newVal - oldVal) * 90, window,
width/2, height/2, width/2, height/2,
false, false, false, false);
document.getElementById('stage').dispatchEvent(evt);
}