Should insert check_PointerEvent(event); here (and add link to pointerevent_support.js up top).