// Generated by esidl 0.4.0.
package org.w3c.dom.html;
public interface HTMLTableColElement extends HTMLElement
{
// HTMLTableColElement
public int getSpan();
public void setSpan(int span);
// HTMLTableColElement-12
public String getAlign();
public void setAlign(String align);
public String getCh();
public void setCh(String ch);
public String getChOff();
public void setChOff(String chOff);
public String getVAlign();
public void setVAlign(String vAlign);
public String getWidth();
public void setWidth(String width);
}