// Trigger.js 2.0
if (window.Event)
   document.captureEvents(Event.MOUSEUP);
document.onmouseup = display;