JSValue jsHTMLDocumentHeight(ExecState* exec, JSValue slotBase, const Identifier&) { JSHTMLDocument* castedThis = static_cast<JSHTMLDocument*>(asObject(slotBase)); UNUSED_PARAM(exec); HTMLDocument* imp = static_cast<HTMLDocument*>(castedThis->impl()); JSValue result = jsNumber(imp->height()); return result; }