void initEvent(
    in DOMString eventTypeArg, 
    in boolean canBubbleArg, 
    in boolean cancelableArg); 

void preventDefault(); 

void stopImmediatePropagation(); 

void stopPropagation(); 

const unsigned short AT_TARGET = 2; 

const unsigned short BLUR = 8192; 

readonly attribute boolean bubbles; 

const unsigned short BUBBLING_PHASE = 3; 

readonly attribute boolean cancelable; 

attribute boolean cancelBubble; 

const unsigned short CAPTURING_PHASE = 1; 

const unsigned short CHANGE = 32768; 

const unsigned short CLICK = 64; 

readonly attribute Clipboard clipboardData; 

readonly attribute EventTarget currentTarget; 

const unsigned short DBLCLICK = 128; 

readonly attribute boolean defaultPrevented; 

const unsigned short DRAGDROP = 2048; 

readonly attribute unsigned short eventPhase; 

const unsigned short FOCUS = 4096; 

const unsigned short KEYDOWN = 256; 

const unsigned short KEYPRESS = 1024; 

const unsigned short KEYUP = 512; 

const unsigned short MOUSEDOWN = 1; 

const unsigned short MOUSEDRAG = 32; 

const unsigned short MOUSEMOVE = 16; 

const unsigned short MOUSEOUT = 8; 

const unsigned short MOUSEOVER = 4; 

const unsigned short MOUSEUP = 2; 

attribute boolean returnValue; 

const unsigned short SELECT = 16384; 

readonly attribute EventTarget srcElement; 

readonly attribute EventTarget target; 

readonly attribute DOMTimeStamp timeStamp; 

readonly attribute DOMString type;