Source position: tagsintf.inc line 522
public property THTML_option.value : DOMString index atvalue read GetAttribute write SetAttribute;