- 【有啥问啥】刷爆各大榜单的Reflection 70B模型背后的错误自我纠正(Reflection-Tuning)技术解析:一种革新AI模型的方法
Chauvin912
大模型行业调研人工智能算法
刷爆各大榜单的Reflection70B模型背后的错误自我纠正(Reflection-Tuning)技术解析:一种革新AI模型的方法在快速发展的AI领域,尤其是大型语言模型(LLM)的竞争中,错误自我纠正技术(Reflection-Tuning)正逐步成为提升模型性能的关键突破。该技术通过赋予模型自我检测和纠正错误的能力,显著提高了输出的准确性和可靠性。本文将深入解析Reflection-Tunn
- Reflection 70B——HyperWrite推出的大型语言模型
新加坡内哥谈技术
语言模型人工智能自然语言处理
每周跟踪AI热点新闻动向和震撼发展想要探索生成式人工智能的前沿进展吗?订阅我们的简报,深入解析最新的技术突破、实际应用案例和未来的趋势。与全球数同行一同,从行业内部的深度分析和实用指南中受益。不要错过这个机会,成为AI领域的领跑者。点击订阅,与未来同行!订阅:https://rengongzhineng.io/在AI技术飞速发展的过程中,我们已经见证了可以写作、编程,甚至创造艺术的模型问世。但有一
- gorm RecordNotFound
darcyaf
gorm中,RecordNotFound()方法只能在结构体中使用,如果是slice类型,则不会报ErrRecordNotFound这个错误先前写的时候发现result.RecordNotFound()这个方法没用,然后看看源码,在callback_query.go中有以下逻辑:ifkind:=results.Kind();kind==reflect.Slice{isSlice=trueresul
- Unity数据持久化 之 一个通过2进制读取Excel并存储的轮子(5) 表加载
咩咩觉主
Unity滚滚车轮计划Unity案例实战全解析Unity数据持久化开发语言unityc#游戏引擎
太狠了,有很多地方我还没搞明白usingSystem;usingSystem.Collections;usingSystem.Collections.Generic;usingSystem.IO;usingSystem.Reflection;usingSystem.Runtime.Serialization.Formatters.Binary;usingSystem.Text;usingUnity
- [Moshi]认识新一代对Kotlin友好的JSON解析框架
天空光芒
为什么是Moshi切换到kotlin之后,在使用fastJSON时遇到了一些问题,经过网上的查询,要使fastJSON能够正常工作,需要额外添加kotlin-reflect依赖,感觉不是很爽。于是一通搜索之后,找到了著名的Square团队的又一个优秀的开源库——Moshi。它在允许使用传统的反射机制进行JSON序列化与反序列化的同时,也可以通过注解的方式在编译时生成解析类,不必引入2M+的refl
- 反射是一个新的AI模型,可以在一台性能良好的笔记本上运行并在测试中击败GPT-4o
AI甲子光年
人工智能
开源AI模型领域又迎来一位新的重量级选手。由初创公司HyperWrite开发的Reflection70B,凭借其创新的“反思”机制,正引发广泛关注,这一机制旨在解决大型语言模型的核心问题——幻觉。在早期的基准测试中,这个升级版的Meta的Llama3.1-70BInstruct架构已经超越了OpenAI的GPT-4o。Reflection70B引入了一种创新方法来增强语言模型的推理能力和准确性。通
- 一篇文章让你搞懂Reflect和Reflect metadata(JavaScript)
小小西爪
Typescriptjavascript前端开发语言
一篇文章让你搞懂Reflect和Reflectmetadata(JavaScript)引言Javascript里经常看到Reflect的使用,但一直搞不明白他和Object的区别,加上在工作中也没有经常用到,一直处于懵懵懂懂的状态。所以下定决心,用这篇文章彻彻底底把它搞明白本文主要涵盖以下4个板块:Reflect什么是ReflectAPIs(Reflect与Object的区别)简单的例子:Obje
- Java基础 -- 05反射reflect
mmlz00
Java基础Java基础反射reflectProxy动态代理
目录引序说不通1:注解说不通2:匿名内部类说不通3:动态代理反射:反射定义强调:类对象又强调:static类静态成员再三强调:synchronized修饰符类对象:知晓类结构类结构之:内部成员内部成员--构造函数内部成员--数据成员内部成员--方法成员静态代理:动态代理:反射+注解反射+泛型+注解getGenericSuperclass()用法引序引序:开始反射概念学习之前,先来段引序。请牢记:计
- java class .method_java Class Method类的使用
weixin_39620629
javaclass.method
packagesample;/**Tochangethistemplate,chooseTools|Templates*andopenthetemplateintheeditor.*/importjava.lang.reflect.Constructor;importjava.lang.reflect.InvocationTargetException;importjava.lang.reflec
- 超越传统:Reflection 70B如何革新AI语言处理
黑金IT
人工智能AI编程
Reflection70B:AI语言模型的新里程碑AI领域迎来了革命性的变革,HyperWrite公司推出的开源AI大模型Reflection70B,以其卓越的性能在多个基准测试中超越了GPT-4o和Llama3.1。这款基于Meta的Llama3.170BInstruct构建的模型,采用了先进的“Reflection-Tuning”技术,能够在最终确定回答前检测并纠正自身的错误,显著提高了输出的
- C# 特性(Attributes)和反射(Reflection)
月落.
C#c#开发语言
特性在C#中,特性(Attributes)是一种向代码添加元数据的机制。这些元数据可以在编译时被编译器读取,或者在运行时通过反射(Reflection)被读取。特性提供了一种灵活的方式来添加注释信息,并且可以影响代码的行为。特性的定义特性是派生自System.Attribute类的类。你可以创建自定义特性,也可以使用.NETFramework提供的预定义特性。概念特性本质上是类的一种特殊用法,它们
- Error: java.io.IOException: java.lang.reflect.InvocationTargetException
lics10
hadoophadoop
今天我跑定时任务的时候,日志报错:Error:java.io.IOException:java.lang.reflect.InvocationTargetException;往下继续看log,发现是car3g_prpcitemkind(文件名)显示prpcitemkind分区数据不在了,这种通常发生在抽数的时候,抽数脚本最一开始有没有进行-rm一些hdfs临时文件;但是我的任务没有抽数,但是任务中
- 泛型+自定义属性 实现 DataTable转换成实体类
是刘彦宏吖
C#中级知识汇总c#
c#+泛型+自定义属性实现DataTable转换成实体类usingSystem;usingSystem.Collections;usingSystem.Collections.Generic;usingSystem.Text;usingSystem.Data;usingSystem.Reflection;usingSystem.ComponentModel;usingSystem.Diagnost
- xml获取对象工具类
.弗兰克
工具类
packagecom.itheima.utils;importjava.io.File;importjava.lang.reflect.Constructor;importjava.lang.reflect.Field;importjava.lang.reflect.InvocationTargetException;importjava.util.ArrayList;importjava.uti
- ES6学习-Reflect
霸气灬剑意
ES6学习es6
Reflect//constobj={//name:'xm',//age:18//}//constproxy=newProxy(obj,{//get(target,property){//returnReflect.get(target,property)//}//})//如果不定义get方法,默认执行的get就和上面的方法一样//console.log(proxy.name);constobj=
- 2018-04-05
awsome365
日期:05-04-2018Objective关于今天的课程,你记得什么?完成了什么?今天练习rails101。理解了RESTful。Reflective你要如何形容今天的情绪?今天的高峰是什么?今天的低点是什么?感冒,练习过程中身体有点不舒服。不过还是体会理解了REST设计、运用,但是练习速度还是很慢,进度差好多。Interpretive我们今天学到了什么?今天一个重要的领悟是什么?学到了REST
- 面试题:什么是DoS、DDoS、DRDoS攻击?
极客李华
一百道计算机网络面试题ddos网络服务器
面试题:什么是DoS、DDoS、DRDoS攻击?DoS、DDoS和DRDoS攻击都是一类攻击类型,其中DOS(DenialofService)指单一主机对目标服务器进行的拒绝服务攻击;而DDoS(DistributedDenialofService)和DRDoS(DistributedReflectionDenialofService)则是分布式拒绝服务攻击。DoS攻击:DoS攻击就是指攻击者利用
- dwf怎么合成一个_将ActionForm拼合成一条插入和更新语句
Money碎碎念
dwf怎么合成一个
packagechs.jhsyss.form;importjava.lang.reflect.InvocationTargetException;importjava.lang.reflect.Method;importjava.util.Date;publicclassWaper{publicWaper(){}/***本方法用于将FORM对象组装成一条INSERT语句*@paramobjActi
- IOC 容器
GG编程
java开发语言
基本概念:IOC(InversionofControl,控制反转)容器的原理基于一种设计模式,其中对象的创建和依赖关系的管理由容器负责,而不是在代码中手动创建对象和管理依赖。通过控制反转,应用程序的控制权从代码中“反转”到了容器中。IOC容器通过依赖注入(DI)机制实现这一原理。实现基于以下几个核心概念和技术:1.反射(Reflection)IOC容器利用反射来动态地创建对象并注入依赖。使用反射获
- 『3』u1
邹林含
一、复盘Part11,从本单元中我学到的最重要的理念精读:Don'ttrustfirstimpressions视听说:Bewillingtochallengeyourself2,我在本片文章/音频/视频中学到的怦然心动的单词精读:reflection,affectionate,benign,spicy,instinct,uncanny,chuckle,hitherto,trim,vanity,va
- Golang反射:运行时类型检查与操作
刘铸纬
Go语言学习面试八股golang开发语言后端
反射的基本概念反射是Go语言中的一个高级特性,它允许程序在运行时查询和使用类型信息。Go的反射基于reflect包,它定义了两个核心类型:Type和Value。Type表示Go语言中每种类型的类型信息。Value表示值的接口,可以对值进行读取和修改。反射的使用场景类型检查:在运行时确定变量的具体类型。动态访问:获取和设置结构体字段的值。函数和方法调用:在运行时调用方法或者函数。处理接口:当变量是接
- 【每周一段】如何写解决方案
宠辱不惊的中年少女
一、学习文本Localauthoritiesarecobblingtogetherstrategiestocope.Anextremereactionistobantouristsentirelyortocapvisitornumbers.Amoresubtleapproachistofiddlewithtaxesandcharges,sothattheybetterreflectthecosts
- 【大模型】Agent基础知识
idiotyi
大模型人工智能自然语言处理
目录1.基本框架2.常见推理模式2.1ReAct:SynergizingReasoningandActinginLanguageModels2.2Reflection2.3LATS:LanguageAgentsTreeSearch3.微调3.1全模型微调(FullModelFine-Tuning)3.2冻结部分层微调(Layer-wiseFine-Tuning)3.3适配器(Adapters)3.
- xss举例和防范措施
abytecoder
开发语言
跨站脚本攻击(Cross-SiteScripting,简称XSS)是一种网络安全漏洞,攻击者通过在网页中注入恶意脚本,诱使用户执行这些脚本,从而达到窃取用户信息、劫持用户会话、重定向用户请求等目的。XSS攻击有三种主要类型:1.储存型(PersistentXSS):恶意脚本会被永久存储在目标服务器上,如用户评论区中的恶意代码。2.反射型(ReflectedXSS):恶意脚本存在于目标链接中,用户点
- Java反射机制详解
๑҉ 晴天
javajava开发语言
引言Java反射机制(Reflection)是Java语言中一个强大的工具,它允许程序在运行时检查和操作类的结构和行为。反射机制主要用于框架开发、调试工具、动态代理、以及需要在运行时动态操作对象的场景。本文将详细介绍Java反射机制的基本原理、使用方法、性能影响以及一些实际应用场景,并提供相关代码示例。什么是反射?反射指的是程序在运行时可以访问、检测和修改它自己的状态或行为。Java反射机制提供了
- Java的反射机制
吢禅
javaservlet开发语言
Java的反射机制反射(Reflection)的概念反射的出现背景Java程序中,所有的对象都有两种类型:编译时类型和运行时类型,而很多时候对象的编译时类型和运行时类型不一致。例如: Objectobj=newString("hello");某些变量或形参的类型在编译时是Object,但是程序需要调用该对象运行时类型的方法,该方法不是Object中的方法,那么怎么办呢?解决这个问题,有两种方案:方
- java反射思维导图2
烟雨国度
java开发语言
packagecom.example;importjava.lang.reflect.*;classPerson{privateStringname;privateintage;publicPerson(){this.name="Unknown";this.age=0;}publicPerson(Stringname,intage){this.name=name;this.age=age;}pub
- Java反射(二)
Sandy_678f
类packagereflectiondemo;publicclassTwoString{privateStringm_s1="a",m_s2="b";//无参数构造函数publicTwoString(){}//含参数构造函数publicTwoString(Strings1,Strings2){this.m_s1=s1;this.m_s2=s2;}publicvoidsetM_s1(Strings1
- Unity 反射绑定UI
_wwzzxx
unity
ui的名称和定义的字段名要保持一致usingSystem;usingSystem.Collections;usingSystem.Collections.Generic;usingSystem.Linq;usingSystem.Reflection;usingUnityEngine;usingUnityEngine.EventSystems;usingUnityEngine.UI;publiccl
- 19 使用缓冲区是否一定可以提高复制效率
collman
Java基础null测试dosbyteosobject
小测试使用缓冲流是否一定可以提高复制效率呢,下面能过一个小测试便可知道答案。此小测试的内容是使用代理的知识测出不使用缓冲流与使用缓冲流时复制一个文件所需要的时间。因为涉及到代理,所以这里我用到了3个类与2个接口:importjava.io.*;importjava.lang.reflect.*;//1.MyTest目标类publicclassMyTestimplementsTheImplemete
- java Illegal overloaded getter method with ambiguous type for propert的解决
zwllxs
javajdk
好久不来iteye,今天又来看看,哈哈,今天碰到在编码时,反射中会抛出
Illegal overloaded getter method with ambiguous type for propert这么个东东,从字面意思看,是反射在获取getter时迷惑了,然后回想起java在boolean值在生成getter时,分别有is和getter,也许我们的反射对象中就有is开头的方法迷惑了jdk,
- IT人应当知道的10个行业小内幕
beijingjava
工作互联网
10. 虽然IT业的薪酬比其他很多行业要好,但有公司因此视你为其“佣人”。
尽管IT人士的薪水没有互联网泡沫之前要好,但和其他行业人士比较,IT人的薪资还算好点。在接下的几十年中,科技在商业和社会发展中所占分量会一直增加,所以我们完全有理由相信,IT专业人才的需求量也不会减少。
然而,正因为IT人士的薪水普遍较高,所以有些公司认为给了你这么多钱,就把你看成是公司的“佣人”,拥有你的支配
- java 实现自定义链表
CrazyMizzz
java数据结构
1.链表结构
链表是链式的结构
2.链表的组成
链表是由头节点,中间节点和尾节点组成
节点是由两个部分组成:
1.数据域
2.引用域
3.链表的实现
&nbs
- web项目发布到服务器后图片过一会儿消失
麦田的设计者
struts2上传图片永久保存
作为一名学习了android和j2ee的程序员,我们必须要意识到,客服端和服务器端的交互是很有必要的,比如你用eclipse写了一个web工程,并且发布到了服务器(tomcat)上,这时你在webapps目录下看到了你发布的web工程,你可以打开电脑的浏览器输入http://localhost:8080/工程/路径访问里面的资源。但是,有时你会突然的发现之前用struts2上传的图片
- CodeIgniter框架Cart类 name 不能设置中文的解决方法
IT独行者
CodeIgniterCart框架
今天试用了一下CodeIgniter的Cart类时遇到了个小问题,发现当name的值为中文时,就写入不了session。在这里特别提醒一下。 在CI手册里也有说明,如下:
$data = array(
'id' => 'sku_123ABC',
'qty' => 1,
'
- linux回收站
_wy_
linux回收站
今天一不小心在ubuntu下把一个文件移动到了回收站,我并不想删,手误了。我急忙到Nautilus下的回收站中准备恢复它,但是里面居然什么都没有。 后来我发现这是由于我删文件的地方不在HOME所在的分区,而是在另一个独立的Linux分区下,这是我专门用于开发的分区。而我删除的东东在分区根目录下的.Trash-1000/file目录下,相关的删除信息(删除时间和文件所在
- jquery回到页面顶端
知了ing
htmljquerycss
html代码:
<h1 id="anchor">页面标题</h1>
<div id="container">页面内容</div>
<p><a href="#anchor" class="topLink">回到顶端</a><
- B树、B-树、B+树、B*树
矮蛋蛋
B树
原文地址:
http://www.cnblogs.com/oldhorse/archive/2009/11/16/1604009.html
B树
即二叉搜索树:
1.所有非叶子结点至多拥有两个儿子(Left和Right);
&nb
- 数据库连接池
alafqq
数据库连接池
http://www.cnblogs.com/xdp-gacl/p/4002804.html
@Anthor:孤傲苍狼
数据库连接池
用MySQLv5版本的数据库驱动没有问题,使用MySQLv6和Oracle的数据库驱动时候报如下错误:
java.lang.ClassCastException: $Proxy0 cannot be cast to java.sql.Connec
- java泛型
百合不是茶
java泛型
泛型
在Java SE 1.5之前,没有泛型的情况的下,通过对类型Object的引用来实现参数的“任意化”,任意化的缺点就是要实行强制转换,这种强制转换可能会带来不安全的隐患
泛型的特点:消除强制转换 确保类型安全 向后兼容
简单泛型的定义:
泛型:就是在类中将其模糊化,在创建对象的时候再具体定义
class fan
- javascript闭包[两个小测试例子]
bijian1013
JavaScriptJavaScript
一.程序一
<script>
var name = "The Window";
var Object_a = {
name : "My Object",
getNameFunc : function(){
var that = this;
return function(){
- 探索JUnit4扩展:假设机制(Assumption)
bijian1013
javaAssumptionJUnit单元测试
一.假设机制(Assumption)概述 理想情况下,写测试用例的开发人员可以明确的知道所有导致他们所写的测试用例不通过的地方,但是有的时候,这些导致测试用例不通过的地方并不是很容易的被发现,可能隐藏得很深,从而导致开发人员在写测试用例时很难预测到这些因素,而且往往这些因素并不是开发人员当初设计测试用例时真正目的,
- 【Gson四】范型POJO的反序列化
bit1129
POJO
在下面这个例子中,POJO(Data类)是一个范型类,在Tests中,指定范型类为PieceData,POJO初始化完成后,通过
String str = new Gson().toJson(data);
得到范型化的POJO序列化得到的JSON串,然后将这个JSON串反序列化为POJO
import com.google.gson.Gson;
import java.
- 【Spark八十五】Spark Streaming分析结果落地到MySQL
bit1129
Stream
几点总结:
1. DStream.foreachRDD是一个Output Operation,类似于RDD的action,会触发Job的提交。DStream.foreachRDD是数据落地很常用的方法
2. 获取MySQL Connection的操作应该放在foreachRDD的参数(是一个RDD[T]=>Unit的函数类型),这样,当foreachRDD方法在每个Worker上执行时,
- NGINX + LUA实现复杂的控制
ronin47
nginx lua
安装lua_nginx_module 模块
lua_nginx_module 可以一步步的安装,也可以直接用淘宝的OpenResty
Centos和debian的安装就简单了。。
这里说下freebsd的安装:
fetch http://www.lua.org/ftp/lua-5.1.4.tar.gz
tar zxvf lua-5.1.4.tar.gz
cd lua-5.1.4
ma
- java-递归判断数组是否升序
bylijinnan
java
public class IsAccendListRecursive {
/*递归判断数组是否升序
* if a Integer array is ascending,return true
* use recursion
*/
public static void main(String[] args){
IsAccendListRecursiv
- Netty源码学习-DefaultChannelPipeline2
bylijinnan
javanetty
Netty3的API
http://docs.jboss.org/netty/3.2/api/org/jboss/netty/channel/ChannelPipeline.html
里面提到ChannelPipeline的一个“pitfall”:
如果ChannelPipeline只有一个handler(假设为handlerA)且希望用另一handler(假设为handlerB)
来
- Java工具之JPS
chinrui
java
JPS使用
熟悉Linux的朋友们都知道,Linux下有一个常用的命令叫做ps(Process Status),是用来查看Linux环境下进程信息的。同样的,在Java Virtual Machine里面也提供了类似的工具供广大Java开发人员使用,它就是jps(Java Process Status),它可以用来
- window.print分页打印
ctrain
window
function init() {
var tt = document.getElementById("tt");
var childNodes = tt.childNodes[0].childNodes;
var level = 0;
for (var i = 0; i < childNodes.length; i++) {
- 安装hadoop时 执行jps命令Error occurred during initialization of VM
daizj
jdkhadoopjps
在安装hadoop时,执行JPS出现下面错误
[slave16]
[email protected]:/tmp/hsperfdata_hdfs# jps
Error occurred during initialization of VM
java.lang.Error: Properties init: Could not determine current working
- PHP开发大型项目的一点经验
dcj3sjt126com
PHP重构
一、变量 最好是把所有的变量存储在一个数组中,这样在程序的开发中可以带来很多的方便,特别是当程序很大的时候。变量的命名就当适合自己的习惯,不管是用拼音还是英语,至少应当有一定的意义,以便适合记忆。变量的命名尽量规范化,不要与PHP中的关键字相冲突。 二、函数 PHP自带了很多函数,这给我们程序的编写带来了很多的方便。当然,在大型程序中我们往往自己要定义许多个函数,几十
- android笔记之--向网络发送GET/POST请求参数
dcj3sjt126com
android
使用GET方法发送请求
private static boolean sendGETRequest (String path,
Map<String, String> params) throws Exception{
//发送地http://192.168.100.91:8080/videoServi
- linux复习笔记 之bash shell (3) 通配符
eksliang
linux 通配符linux通配符
转载请出自出处:
http://eksliang.iteye.com/blog/2104387
在bash的操作环境中有一个非常有用的功能,那就是通配符。
下面列出一些常用的通配符,如下表所示 符号 意义 * 万用字符,代表0个到无穷个任意字符 ? 万用字符,代表一定有一个任意字符 [] 代表一定有一个在中括号内的字符。例如:[abcd]代表一定有一个字符,可能是a、b、c
- Android关于短信加密
gqdy365
android
关于Android短信加密功能,我初步了解的如下(只在Android应用层试验):
1、因为Android有短信收发接口,可以调用接口完成短信收发;
发送过程:APP(基于短信应用修改)接受用户输入号码、内容——>APP对短信内容加密——>调用短信发送方法Sm
- asp.net在网站根目录下创建文件夹
hvt
.netC#hovertreeasp.netWeb Forms
假设要在asp.net网站的根目录下建立文件夹hovertree,C#代码如下:
string m_keleyiFolderName = Server.MapPath("/hovertree");
if (Directory.Exists(m_keleyiFolderName))
{
//文件夹已经存在
return;
}
else
{
try
{
D
- 一个合格的程序员应该读过哪些书
justjavac
程序员书籍
编者按:2008年8月4日,StackOverflow 网友 Bert F 发帖提问:哪本最具影响力的书,是每个程序员都应该读的?
“如果能时光倒流,回到过去,作为一个开发人员,你可以告诉自己在职业生涯初期应该读一本, 你会选择哪本书呢?我希望这个书单列表内容丰富,可以涵盖很多东西。”
很多程序员响应,他们在推荐时也写下自己的评语。 以前就有国内网友介绍这个程序员书单,不过都是推荐数
- 单实例实践
跑龙套_az
单例
1、内部类
public class Singleton {
private static class SingletonHolder {
public static Singleton singleton = new Singleton();
}
public Singleton getRes
- PO VO BEAN 理解
q137681467
VODTOpo
PO:
全称是 persistant object持久对象 最形象的理解就是一个PO就是数据库中的一条记录。 好处是可以把一条记录作为一个对象处理,可以方便的转为其它对象。
BO:
全称是 business object:业务对象 主要作用是把业务逻辑封装为一个对象。这个对
- 战胜惰性,暗自努力
金笛子
努力
偶然看到一句很贴近生活的话:“别人都在你看不到的地方暗自努力,在你看得到的地方,他们也和你一样显得吊儿郎当,和你一样会抱怨,而只有你自己相信这些都是真的,最后也只有你一人继续不思进取。”很多句子总在不经意中就会戳中一部分人的软肋,我想我们每个人的周围总是有那么些表现得“吊儿郎当”的存在,是否你就真的相信他们如此不思进取,而开始放松了对自己的要求随波逐流呢?
我有个朋友是搞技术的,平时嘻嘻哈哈,以
- NDK/JNI二维数组多维数组传递
wenzongliang
二维数组jniNDK
多维数组和对象数组一样处理,例如二维数组里的每个元素还是一个数组 用jArray表示,直到数组变为一维的,且里面元素为基本类型,去获得一维数组指针。给大家提供个例子。已经测试通过。
Java_cn_wzl_FiveChessView_checkWin( JNIEnv* env,jobject thiz,jobjectArray qizidata)
{
jint i,j;
int s