@JsProperty int getErrors();
@JsProperty int getDone();
@JsProperty EventTarget getCurrentTarget();
@JsProperty void setName(String value);
@JsProperty void setSize(int value);
@JsProperty String getAlign();
@JsProperty int getLength();
@JsProperty void setRows(String value);
@JsProperty EventHandlerNonNull getOnreset();
@JsProperty HTMLElement getCommand();
@JsProperty boolean getCancelable();
@JsProperty boolean getClosed();
@JsProperty void setOnseeking(EventHandlerNonNull value);
@JsProperty MessagePort getPort1();
@JsProperty double getWidth();
@JsProperty void setOnpause(EventHandlerNonNull value);
@JsProperty void setLoop(int value);
@JsProperty boolean getOpen();
@JsProperty ValidityState getValidity();
@JsProperty EventHandlerNonNull getOndblclick();
@JsProperty int getWidth();
@JsProperty HTMLCollection getChildren();
@JsProperty void setDownload(String value);
@JsProperty String getWidth();
@JsProperty boolean getSpecified();
@JsProperty void setSelectionEnd(int value);
@JsProperty void setType(String value);
@JsProperty void setOnclose(EventHandlerNonNull value);
@JsProperty String getAbbr();
@JsProperty String getSrcset();
@JsProperty void setPing(DOMSettableTokenList value);
@JsProperty EventHandlerNonNull getOnerror();
@JsProperty int getVideoHeight();
@JsProperty void setSpellcheck(boolean value);
@JsProperty String getTarget();
@JsProperty void setLongDesc(String value);
@JsProperty String getName();