JSValue* JSHTMLHtmlElement::getValueProperty(ExecState* exec, int token) const { switch (token) { case VersionAttrNum: { HTMLHtmlElement* imp = static_cast<HTMLHtmlElement*>(impl()); return jsString(exec, imp->version()); } case ConstructorAttrNum: return getConstructor(exec); } return 0; }