Source position: tagsintf.inc line 345
public property THTML_iframe.marginwidth : DOMString index atmarginwidth read GetAttribute write SetAttribute;