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