Source position: tagsintf.inc line 344
public property THTML_iframe.marginheight : DOMString index atmarginheight read GetAttribute write SetAttribute;