Skip to content
Go back

暗网追踪:墙上玄机,智救被虐女童 | Hacker News 摘要 (2026-02-18)

Published:  at  08:44 AM

1. 暗网追踪:墙上玄机,智救被虐女童 (Dark web agent spotted bedroom wall clue to rescue girl from abuse)

暗网追踪:墙上玄机,智救被虐女童

暗网追踪:墙上玄机,智救被虐女童

美国国土安全调查局的专家格雷格·斯奎尔曾面临一项艰巨任务,试图解救一名被称为“露西”的受虐女孩,她被困在充斥着虐待儿童图像的暗网之中。尽管施虐者试图掩盖身份,但斯奎尔的团队通过分析图像中的细节,逐渐缩小了搜寻范围。经过五年的跟踪拍摄,BBC世界服务部揭示了斯奎尔及其国际同行如何依靠对细微线索的敏锐洞察力,而非高科技手段,来侦破此类案件,其中包括解救一名在俄罗斯失踪的七岁儿童,以及逮捕一名负责巴西暗网五大儿童虐待论坛的罪犯。露西的案件尤其触动了斯奎尔,因为她与他自己的女儿年龄相仿。起初,他们仅能判断露西身处北美,但社交媒体平台如脸书在提供帮助方面显得力不从心。团队转而仔细研究露西房间的各种物品,包括床罩、衣物和玩具。一个关键的突破来自于一张照片中出现的沙发,该沙发仅在特定区域销售,大大缩小了潜在的搜寻范围,但仍涉及约四万人。进一步的调查指向了露西卧室墙壁上裸露的红砖。

原文链接:https://www.bbc.com/news/articles/cx2gn239exlo

论坛讨论链接:https://news.ycombinator.com/item?id=47042396

社区成员对一起涉及儿童虐待的案件展开讨论,案件中通过网络侦探工作,利用细微线索成功解救了受害女孩。

讨论的一个焦点是,女孩的母亲竟然与一名有性犯罪记录的男子同居。有评论者对此感到困惑,认为这一关键信息本应更早被发现,而不是在花费大量精力通过砖块专家和客户名单等方式定位地址后才浮现。

另一部分讨论集中在性犯罪者登记制度的有效性上。有观点指出,登记制度本身并不能完全阻止性犯罪者接触儿童,除非有人主动查询。此外,登记名单存在“膨胀”问题,一些轻微的违法行为也会被列入,导致登记人员难以获得住房和就业,甚至在某些情况下可能因技术性违规而面临重返牢狱的风险。有评论者认为,如果社会无法为这些被列入登记名单的人提供可行的生存途径,而是将他们逼入绝境,那么制度本身就存在问题。

最后,有评论者分享了一部关于此话题的纪录片,进一步丰富了讨论的深度。


2. 告别谷歌苹果,拥抱GrapheneOS:你的隐私终极堡垒 (GrapheneOS – Break Free from Google and Apple)

一位用户在租用三星Galaxy Z Fold 6手机半年后,决定脱离苹果生态系统,并对Android系统产生了新的兴趣。尽管他对折叠屏手机的厚重、不便携带和高昂的长期租赁成本感到不满,但他对Android的喜爱促使他探索更安全的选择。一篇关于法国试图干预GrapheneOS系统的新闻,引起了他对这款以高隐私和安全性为设计理念的开源操作系统的关注。GrapheneOS基于Android开源项目,但与标准Android版本不同,它彻底移除了与谷歌服务的集成,旨在为用户提供最高级别的隐私保护。

原文链接:https://blog.tomaszdunia.pl/grapheneos-eng/

论坛讨论链接:https://news.ycombinator.com/item?id=47045612

社区中关于GrapheneOS的讨论围绕其在隐私保护方面的优势以及在实际使用中遇到的兼容性挑战展开。一位用户分享了使用GrapheneOS一年多的经验,表示系统运行良好,但指出Google支付功能可能受限,而其他如Vipps支付和BankID(非生物识别)则正常。该用户对银行应用在GrapheneOS上受限表示不解,认为这与通过网站访问银行服务并无本质区别,并批评这种限制是“安全剧场”。他还建议不要为不同用途设置多个用户配置文件,认为其安全效益有限且操作繁琐。

另一位讨论者补充说,大型在线银行的安全审计常将“应用运行在已root手机上”列为首要威胁,讽刺地指出这是一种形式主义,因为开发人员在测试和调试时也使用root设备。对此,有用户质疑银行的安全优先级,认为应用能在五年未更新安全补丁的手机上运行,却拒绝在自定义ROM上运行,这表明银行可能为了影响少数用户而假装安全,却不愿触及大量使用旧手机的用户。

然而,也有观点为银行的做法辩护,指出运行未知操作系统的手机比多年未更新的手机更具风险,因为恶意操作系统制造商可能通过植入根证书来劫持银行流量。银行在责任方面倾向于信任主流操作系统提供商(如谷歌、苹果)已完成的安全审查,因为它们无法逐一审查每个第三方操作系统。对于由“随机志愿者”编译的业余操作系统,银行出于审慎考虑,几乎肯定会拒绝支持。


3. Claude Sonnet 4.6:小身材大智慧,企业AI新引擎 (Claude Sonnet 4.6)

Anthropic公司近日发布了其最新大型语言模型Claude Sonnet 4.6,标志着其在人工智能领域取得了显著进展。该模型以卓越的性能和成本效益比,实现了前沿水平的推理能力,并以更小、更经济的形式提供,为现有Opus用户提供了有力的替代方案。Sonnet 4.6在多项关键任务中全面超越了前身Sonnet 4.5。在文档理解方面,它在OfficeQA基准测试中与Opus 4.6表现相当,能够高效阅读企业文档、提取事实并进行推理,对文档处理工作负载意义重大。该模型在金融服务基准测试中显著提升了答案匹配率,并在保险基准测试中达到94%的准确率,成为迄今为止测试过的计算机使用方面表现最佳的模型。在代码生成与修复方面,Sonnet 4.6展现出卓越能力,尤其擅长处理大型代码库中的复杂代码修复和错误检测,大幅缩小了与Opus在错误检测方面的差距,助力开发团队以更低成本并行审查并发现更多错误。

原文链接:https://www.anthropic.com/news/claude-sonnet-4-6

论坛讨论链接:https://news.ycombinator.com/item?id=47050488

社区成员们就Anthropic新发布的Claude Sonnet 4.6模型展开讨论。一些人注意到该模型在计算机使用方面的显著进步,认为这可能与编码一样具有重要价值,甚至可能超越编码。然而,模型在安全方面的表现引发了担忧。尽管官方声称模型具有更高的抗性,但其自身的安全评估显示,自动化对抗系统在面对无限制尝试时,有高达50%的几率能成功注入攻击,即使有防护措施,也有8%的成功率。这让一些人质疑该技术的可用性。

另一位评论者则对AI技术可能带来的劳动力垄断表示担忧,认为AI并非创造新岗位,而是可能让一名员工承担三人的工作量,从而导致大规模裁员和剩余员工的过度劳累。该评论者引用了“ZeroHedge”的观点,即AI将颠覆一切,唯独劳动力市场似乎不受影响。此外,他还指出,由于LLM技术的易得性,任何拥有相似想法的人都可以复制商业模式,导致同质化竞争和利润空间压缩,就像人人拥有水井一样,水的价值会大幅下降。他认为,强大的开源模型虽然看似有益,但可能削弱通过能力和努力获得社会地位的机会。


4. 告别困惑!四列ASCII,字符编码的深层逻辑一目了然 (Four Column ASCII (2017))

近日,一篇关于ASCII码表的文章在技术社区引发关注,其提出的四列式ASCII表格布局,清晰揭示了字符编码的深层逻辑与控制字符的形成机制。文章指出,传统的ASCII码表呈现方式往往难以直观理解控制字符与可打印字符之间的关联。通过将7位ASCII编码的前两位作为字符的“组”(对应表格的列),后五位作为该组内的“值”(对应表格的行),整个ASCII表被巧妙地划分为四列,每列包含32个字符,使得诸多编码规律一目了然。例如,为何在终端中按下Ctrl键结合方括号“[”会产生Escape字符,这一直困扰着许多开发者。该四列布局揭示,Escape字符的二进制编码是00 11011,而方括号“[”的编码是10 11011。关键在于,当用户按下Ctrl键并结合一个字符时,系统执行的操作是将该字符ASCII码的前两位(即“组”位)清零,同时保留其后五位(即“行”位)。

原文链接:https://garbagecollected.org/2017/01/31/four-column-ascii/

论坛讨论链接:https://news.ycombinator.com/item?id=47022270

社区成员围绕ASCII编码的有趣细节展开讨论。一位早期职业生涯接触EBCDIC并处理过ASCII日志的资深人士,分享了其朋友关于TTY控制字符(如^S, ^Q, ^?)在密码哈希中被用作“暂停”而非实际字符的趣闻,以及他如何通过修改系统实现“raw”模式以增强安全性。

另一位评论者指出,DEL字符(全比特置位)的设计巧妙,使得在纸带和穿孔卡片上,通过打孔(即删除)任何未打孔的孔即可实现删除,这被形容为“比特级拟物化”。

关于数字在ASCII中的编码,有人注意到所有数字都以0x3开头,并了解到这并非巧合,而是为了方便构建基于BCD(二进制编码的十进制)的计数和会计机器,这令其感到惊叹。

对此,有评论者解释说,在ASCII标准制定的1960年代,终端主要是机械式的电传打字机,电路逻辑非常有限,比特位的变化更多地是通过物理机制实现。尽管如此,也有人提到IBM System/360在1963年就已使用BCD,并在其外围设备中体现出快速解析数字的特性,可能对ASCII的标准化产生了影响。

此外,还有讨论者认为16x8的ASCII表示方式与文章提出的4x32(或32x4)一样具有启发性。最后,有人猜测,如果数字能直接用其数值表示,而控制字符使用高位,或许会更好,但考虑到1970年左右的兼容性需求和人们对0x0作为NULL的习惯,这种改变可能难以实现。


5. 戴明:日本的英雄,美国的“弃儿”? (Poor Deming never stood a chance)

戴明:日本的英雄,美国的“弃儿”?

在这场跨越世纪的管理学巅峰对决中,德鲁克与戴明分别代表了两种截然不同的治理逻辑。文章深入剖析了为何德鲁克的“目标管理”(OKR)在美式商业文明中大行其道,而戴明的“系统管理”却深陷边缘。

核心冲突在于管理带宽的博弈。德鲁克将复杂的组织简化为可量化的关键结果,如同恒温器般通过设定指标实现自动调控,极大缓解了管理者的认知压力。相反,戴明将数字化管理视为“致命恶疾”,主张通过统计学理解系统波动。他认为真正的领导力源于对系统的深刻改造,而非盲目追逐KPI。

虽然戴明深刻影响了日本制造业的崛起,但在追求效率与简易性的现代职场,德鲁克的方案更符合人性中“趋易避难”的本能。即便戴明的方法更接近系统真相,但因其对管理者带宽的高要求,在与极简主义OKR的竞争中遗憾败北。

原文链接:https://surfingcomplexity.blog/2026/02/16/poor-deming-never-stood-a-chance/

论坛讨论链接:https://news.ycombinator.com/item?id=47042895

社区中关于戴明理论在美国未能成功的讨论,探讨了其未能广泛应用的原因。有评论者指出,戴明核心思想是赋予生产线工人简单工具,让他们自主改进流程,并信任工人。然而,美国管理者未能采纳,反而将统计过程控制(SPC)演变为独立的官僚部门,充满繁文缛节和复杂软件。

另一位讨论者认为,戴明强调的不仅是信任工人,还有其复杂的14点管理原则,需要全面实施才能见效。他提出,多数人可能不具备理解并实践这种复杂理论的能力。此外,他认为美国工人不像日本人那样重视精湛工艺、质量和分析,这解释了丰田迅速采纳而美国却耗时50年的原因。

对此,有评论者质疑,不重视质量的究竟是美国工人还是美国管理者?他指出,根据经验,通常是管理者为了股东利益而牺牲质量和工艺,将质量视为“浪费”的成本。美国商业文化过于量化,而质量和工艺却难以量化。工人实际上乐于追求高质量,因为它能提升工作满意度,但往往因管理层的阻力而难以坚持。最后,有讨论者直接指出,股东是戴明14点管理原则在多数公司中推行的最大障碍。


6. Show HN:未死,但梦想正在被淹没 (Is Show HN dead? No, but it’s drowning)

一篇于2026年2月17日发布在Arthur Cnops博客上的文章,对“Show HN”板块的现状进行了深入分析,作者认为该板块并未死亡,但正面临投稿量爆炸性增长、优质项目淹没在信息洪流中以及讨论热度下降等严峻挑战。文章通过对2023年至2026年初的数据分析指出,Show HN的帖子数量大幅增加,但相对于所有Hacker News(HN)帖子的比例以及帖子获得的关注度却在下降。特别值得注意的是,帖子在首页停留的时间显著缩短,平均仅剩2.9小时,远低于过去,这使得许多有价值的独立开发者项目难以获得应有的曝光和讨论。作者将其描述为“Sideprocalypse”,即小型独立开发者梦想的终结,因为即使是优秀的项目也可能因为缺乏营销和资金而被淹没。文章还提到,最初Show HN的帖子比普通HN帖子表现更好,但现在情况已发生逆转。

原文链接:https://www.arthurcnops.blog/death-of-show-hn/

论坛讨论链接:https://news.ycombinator.com/item?id=47045804

社区中关于“Show HN”版块现状的讨论指出,尽管AI辅助开发作为工具本身无可厚非,但许多AI辅助完成的Show HN项目却显得乏味。有评论者认为,这些项目往往缺乏作者对问题空间的深入思考和投入,导致难以展开有意义的讨论。过去,Show HN是一个学习和获取独特视角的平台,因为提交者通常对某个问题有长期的思考。而现在,AI工具的普及使得任何人都能构建项目,无论他们是否有原创想法或深厚知识背景。

这种“赋能”虽带来便利,却也消除了Show HN作为筛选机制的作用,导致大量未经深思熟虑的项目涌入。有参与者比喻,这就像新父母向所有人展示自家孩子照片,误以为都会有趣。另有观点指出,这是一种尚未形成的社区礼仪问题,类似早期人们过度分享ChatGPT内容,最终被认为既恼人又无益。一些人观察到,部分新项目提交者散发出一种“你好,各位同行程序员?”的刻意姿态。还有人将其与数字摄影初期大量低质量内容涌现,及新父母指导他人育儿的现象相比,暗示了缺乏经验者在社区中发表过多不成熟内容,稀释了Show HN的整体讨论质量和价值。


7. 三维纪元:游戏霸权易主 (Rise of the Triforce)

三维纪元:游戏霸权易主

三维纪元:游戏霸权易主

三维纪元:游戏霸权易主

1990年代初期,视频游戏行业正经历三维图形技术的快速发展。彼时,街机平台凭借巨额预算和尖端硬件,能够提供远超家用游戏机的卓越三维视觉体验,其每秒60帧、高分辨率和大量多边形处理能力,是家用机难以企及的。然而,随着第五代家用游戏机(如PlayStation)的推出,革命性的三维硬件功能首次大规模进入家庭,使得街机曾经的独占优势逐渐丧失。家用游戏机提供了更具成本效益的解决方案,加之街机独有体验的减少以及大作高品质移植的普及,加速了街机行业的衰落。到了第六代家用游戏机时代,许多街机巨头被迫转型,将重心转向家用机项目。世嘉便是其中受冲击最严重的厂商之一。尽管其曾是街机和家用机市场的佼佼者,但一系列战略失误和持续萎缩的街机市场使其濒临破产边缘。2002年,世嘉的Dreamcast主机在与PlayStation 2的竞争中失利,为求生存,世嘉甚至开始将其热门游戏移植到竞争对手的硬件平台上。

原文链接:https://dolphin-emu.org/blog/2026/02/16/rise-of-the-triforce/

论坛讨论链接:https://news.ycombinator.com/item?id=47040524

社区中关于“Rise of the Triforce”的讨论围绕街机独特的沉浸式体验及其衰落展开。一位评论者强烈推荐尝试大型“动态”街机,如AX Monster Ride,认为它们提供的真实重力感和身体互动远超VR,带来更本能的体验。但他同时也指出,这些老式机器日益稀有,机会窗口正在缩小。

另一位评论者认同街机本应发展为提供难以在家中复制的独特硬件体验,例如《化解危机》的脚踏板,家用版效果远逊。然而,有观点认为,与过去(如1996年的Scud Race)相比,现代街机本应拥有接近真实画面的4K光线追踪驾驶游戏,但现实并非如此。

对此,有评论者指出,虽然这类高科技街机正在被制造,但市场需求和可用空间有限。人们不愿将其置于家中,且许多国家街机厅已所剩无几。许多尝试结合酒吧的街机场所常因机器缺乏维护或被醉酒顾客损坏而迅速衰败,导致玩家因体验不佳而流失。

最后,另一位讨论者补充说,现有“复古”街机酒吧主要靠怀旧吸引顾客。他认为传统街机喧闹、闪烁的审美是其难以扩展到机场、车站或购物中心等其他公共空间的原因。他提出,若能开发出高质量且不那么张扬的机器,或许能在这些场所找到一席之地,但机器维护问题仍是巨大挑战。


8. AI赋能,为一人而造:从零到一,Side Project的智能蜕变 (Building for an audience of one: starting and finishing side projects with AI)

一位开发者利用人工智能工具,成功构建了一个名为FastTab的自定义任务切换器,以解决KDE Plasma桌面环境在X11下内置任务切换器“画廊”视图响应速度较慢的问题。该内置功能有时需要长达一秒才能打开,对于频繁使用的用户而言,这种延迟难以接受。FastTab使用Zig语言编写,借助OpenGL进行渲染,并设计为后台守护进程,能够即时响应键盘快捷键。开发者表示,若非人工智能的协助,他可能不会着手开发此应用,尤其是在他对Zig和X11内部机制一无所知的情况下。他通过与名为Claude的AI进行对话,从寻求优化建议开始,逐步转向了构建一个全新任务切换器的计划。AI不仅帮助规划了应用程序的详细规格,还将其分解为可执行的里程碑,使得开发者能够快速搭建一个工作原型并进行迭代。整个过程强调了与AI的有效沟通,通过反复讨论和细化需求,最终形成清晰的应用设计和实现方案。

原文链接:https://codemade.net/blog/building-for-one/

论坛讨论链接:https://news.ycombinator.com/item?id=47041973

社区讨论了利用AI完成个人或副项目的现象。一位用户指出,AI已能生成良好代码,帮助他完成了许多曾列在待办清单上的项目。然而,他认为非程序员在“凭感觉编码”(vibe coding)时仍会面临挑战,因为缺乏目标语言的细微之处、术语以及普遍的编程设计原则(如何时使用“模态”窗口或设置默认值)的理解。

另一位用户作为一名零编程能力的营销人员,却成功地用AI完成了多个微应用。他强调,虽然AI能将想法转化为代码,但这并不代表用户自动具备了在设计和构建过程中做出正确决策的能力。他认为,他在软件公司十五年的经验,接触过程序员、产品经理和设计师,培养了他像产品设计师和开发者一样思考的能力,这才是关键。他指出,“人人都能构建软件”的说法常常忽略了对产品目的的深思熟虑、权衡取舍以及拒绝不必要功能的能力。

第三位用户也分享了类似的AI使用经历,并对AI的进步速度感到惊叹。他提出了一个引人深思的问题:如果他从不阅读AI生成的代码,AI代理也无需遵循特定的内部模式(如NewType),那么为何还要将自己传统的认知包袱强加于代码库?未来的非专业“凭感觉编码者”是否会在意这些模式?他预测,编程的教学方式将发生变革,使有效的提示工程变得更加普及和易于获取。


9. CP/M:计算先驱基尔德尔的先河与转折 (DBASE on the Kaypro II)

CP/M:计算先驱基尔德尔的先河与转折

CP/M:计算先驱基尔德尔的先河与转折

CP/M:计算先驱基尔德尔的先河与转折

在计算机历史的长河中,一个未曾发生的可能性常常被提及:如果加里·基尔德尔的CP/M操作系统而非微软的MS-DOS被选为IBM个人电脑的驱动系统,那么比尔·盖茨的计算领域霸权或许就不会出现。基尔德尔也无需花费精力去驳斥那些声称他因一次飞行而错失微软般行业主导地位的传闻,甚至可能至今仍活跃在行业创新前沿。基尔德尔的故事被视为计算机历史的一个“蝴蝶效应”转折点,尽管事实是,导致他逐渐淡出视线并英年早逝的原因是多方面的。然而,作者更希望强调基尔德尔的成就:他曾与斯图尔特·切菲特共同主持了长达七年的“计算机编年史”节目,开发了首个只读光盘百科全书,并创造了我们今天所知的BIOS(基本输入输出系统)及其术语。CP/M作为首个广泛普及、面向大众的便携式微型计算机操作系统,得益于BIOS的问世,一度在商业领域占据主导地位,拥有超过两万款软件。

原文链接:https://stonetools.ghost.io/dbase-cpm/

论坛讨论链接:https://news.ycombinator.com/item?id=47012486

在社区讨论中,用户围绕dBase在Kaypro II上的使用展开。其中一位用户指出,dBase使用回车键(RETURN)而非Tab键在字段间切换,这在如今看来颇具讽刺意味。他回忆起Windows早期,用户对Tab键切换字段的习惯感到不适,因为他们更习惯DOS下的回车键触发默认按钮。开发者们要么坚持让用户学习Tab键,要么将其映射为回车键。

作者本人也参与了讨论,并表示很高兴听到开发者的经历。他认为不使用回车键进行字段切换是合理的,尤其是在字段长度可变的情况下,方便输入多段文字。另一位用户则解释说,DOS下回车键更常用是因为当时主要进行数字录入,数字小键盘的回车键位于右手边,方便单手操作。而切换到Tab键则需要双手操作,不利于对照纸质数据。该用户还提议,如果重新设计键盘,可以在数字小键盘上增加“下一项”和“上一项”按钮,而非回车键。

此外,有用户强调了“Enter”键和“Return”键的区别,并以Mac为例,说明其在区分这两个键并被软件支持方面做得更好。另一位用户则指出,在PC上,虽然“raw”模式下可以区分,但绝大多数键盘映射会将两者统一,只有游戏等特定场景下才会区分。


10. 深度拆解苹果.car文件格式 (A deep dive into Apple’s .car file format)

近日,一项关于苹果应用程序资源管理文件格式.car的研究揭示了其内部结构。该文件格式是所有现代iOS、macOS、watchOS和tvOS应用程序中管理图像、颜色、图标等资源的基础。在Xcode构建应用程序时,.xcassets文件夹会被编译成二进制的.car文件并随应用程序一同发布。尽管.car文件是苹果应用开发的基本组成部分,但官方对其格式的详细文档却极为有限。此次研究深入分析了.car文件的逆向工程过程,解释了其内部结构,并展示了如何通过编程方式解析这些文件。这项研究的成果可能对安全研究以及开发不依赖Xcode或苹果专有工具的开发者工具具有重要意义。研究人员还开发了一个独立的.car文件解析器和编译器,该解析器已被编译为WebAssembly,可在浏览器中直接运行,无需上传服务器,用户可以直接拖入.car文件进行内容探索。研究人员正在考虑开源这些工具,但尚未最终确定。

原文链接:https://dbg.re/posts/car-file-format/

论坛讨论链接:https://news.ycombinator.com/item?id=47014002

社区成员围绕苹果的.car文件格式展开深入讨论。一位用户指出,文件中不同部分采用不同字节序(endianness)的设计是苹果特有的技术风格。另一位用户解释说,BOM文件格式历史悠久,早期主要在big-endian平台(如NeXTSTEP)上运行,后来转移到苹果的big-endian PowerPC。

有评论者将.car文件的复杂性比作“圆角”,暗示其设计可能过于注重形式。一位用户幽默地将其比作“你拿错了”,但以二进制形式呈现。

一位在玻璃图标渲染方面进行探索的成员分享了他的经验,他使用工具解包系统私有框架的类元数据,并利用AI(Claude)将反汇编代码转换为Objective-C。他描述了Objective-C运行时的高度动态性,允许在运行时创建类、替换方法实现、甚至改变对象的类,并将其与Ruby进行类比。他提到Swift的运行时动态性则相对较弱。

关于Objective-C和Ruby的相似性,有观点认为它们同源于Smalltalk,都遵循“万物皆对象”和消息传递的范式。但也有人认为Ruby更受Perl影响。

最后,一位自称是NeXT团队经理的成员表示,他曾参与该文件格式的开发,并愿意接受提问。


Suggest Changes

Previous Post
扎克伯格国会撒谎铁证曝光:Meta欺瞒国会,罔顾青少年安危 | Hacker News 摘要 (2026-02-19)
Next Post
AI也纠结?50米洗车,它会让你开车还是走路? | Hacker News 摘要 (2026-02-17)