Source position: tagsintf.inc line 520
public property THTML_option.thelabel : DOMString index atlabel read GetAttribute write SetAttribute;