void JSHTMLHtmlElement::putValueProperty(ExecState* exec, int token, JSValue* value) { switch (token) { case VersionAttrNum: { HTMLHtmlElement* imp = static_cast<HTMLHtmlElement*>(impl()); imp->setVersion(valueToStringWithNullCheck(exec, value)); break; } } }