- 20190307 determine
angelqi_b03a
determine【英英释义】v.1.ifaparticularfactordeterminesthenatureofathingorevent,itcausesittobeofaparticularkind.是…的决定因素Vn/Vwh/Formal2.todetermineafactmeanstodiscoveritasaresultofinvestigation.确定,查明Vwh/Vn/Vth
- C. Madoka and Formal Statement
ros275229
算法学习灵茶CF算法c++codeforces
链接Problem-1717C-Codeforces思路:当有任意一个ai>bi的时候,肯定是无法变为序列b的。如果存在一个i使得−bi−b(i-1)>1,则如果我们想要改动a(i-1)到b(i-1),就必须使得ai≥a(i-1),但是我们知道,如果在最后能够让ai≥a(i-1)的话,ai就必须大于bi,所以不可能成功综上所述,如果存在a[i]>b[i]ora[i]b[(i+1)%n]+1就输出N
- linux查询文件夹及文件数目
@王坤
linuxlinux运维服务器
1.查询文件夹下的文件夹数目expr$(find./uploud_from_machine/formal_dom/18-maxdepth1-typed|wc-l)-12.查询文件夹下的文件数目要统计目录中的所有项(文件和子目录),但不包括目录本身,可以使用以下命令:ls-l/path/to/directory|grep-v“^total”|wc-l只想统计文件数量,不包括目录:ls-l/path/
- 约翰逊在《联合国气候变化框架公约》缔约方大会第26届会议启动仪式上的演讲
浮海纪一朝
commodious/kəˈmoʊdiəs/(formal)havingalotofspace宽敞的mphmilesperhour每小时所行英里数gavewayunderthestrain因张力损坏wereweddedtopathos/ˈpeɪθɑːs/(inwriting,speechandplays文章、讲话和戏剧)thepowerofaperformance,description,etc.
- 简单高效 Learn LaTeX 010 - LaTex Formal Layout 正式排版
xiaoqistar
LaTeX科学排版正式排版科学排版LaTeX编程
这是第3.6章的正式排版的演示与讲解,包括了封面大纲与章节目录https://www.ixigua.com/7298100920137548288?id=7304656211356746252&logTag=f344521c0a28b1dd19c3
- Unit 1 Growing Up
8cb9aae6069c
Unit1以WritingforMyself开始,这篇文章记忆最深刻的便是强调的使用。我认为体现强调有三个方面,强调句型的使用,prim的不断重复,同义词的转化例formal.rigid.outofdate以及write和putitdown的转化。这篇文章还让我记住了许多短语和一些四级单词,不清楚的也加强了记忆。听力课别有一番风味,小猪佩奇的出现让听力课不再是记忆中的那样,唤起了我对听力的兴趣。通
- ZKP15.3 Formal Methods in ZK (Part II)
Simba17
零知识证明零知识证明笔记
ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise))15.3FormalMethodsinZK(PartII)FormallyprovethatacircuitisNOTunderconstrainedExistingStrategiesSt
- ZKP15.1 Secure ZK Circuits via Formal Methods
Simba17
零知识证明零知识证明笔记
ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise))MotivationBugsinblockchainsoftwareareextremelydangersandcostly.SmartContractBugs,BlockchainProt
- ZKP15.2 Formal Methods in ZK (Part I)
Simba17
零知识证明零知识证明笔记
ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise))15.2FormalMethodsinZK(PartI)CircuitsWorkflowSourceCode:WitnessGenerationandConstraintsWitnessGe
- 芯片后仿问题
messi_cyc
嵌入式硬件
INNOVUS/ICC吐出的netlist经过Formal/LEC验证后,Star-RC/QRC抽取RC寄生参数文件并读入到Tempus/PT分别做func/mbist/scan时序sign-off,写出SDF3.0用以后仿真,搭建后仿真的验证环境,添加sc/io/macro的verilogmodel,仿真输出VCD给Redhawk/Voltus做功耗/IRDrop分析。本文简要叙述下后仿真要点:
- 解决keil:error C132: : not in formal parameter list等等突然出现很多很多报错
沉睡的小灰
杂
http://www.51hei.com/bbs/dpj-25003-1.html这里参考了这个帖子,在我身上发生的问题就是我在声明一个函数的时候忘记加分号了,会报错特别多奇奇怪怪的东西,吓死我了。解决办法就是加上分号就好了
- grep常用命令
myserendipit
grep多条件搜索同时在info.log文件中搜索带有logcat.py和Thread139620037678848的日志grep'logcat.py'info.log|grep'Thread139620037678848'在info.log文件中搜索满足execute或者request_mask_server_formal匹配的日志grep-E'execute|request_mask_serv
- 180821 pronouns
enhiver
subjectpronounsobjectpronounspossessivepronounsreflexiveverbikme/mijmijnmeje/jij/u(formal)je/jou/uje/jouw/uwje/u,zichhijhemzijnzichze/zijhaarhaarzichwe/wijonsons/onzeonsjulliejulliejulliejeze/zijze/hu
- 了不起的盖茨比(原版读书笔记)Day1
TAN_2a04
turnover考虑I'vebeenturningoverinmymindeversince.inclinedto=tendtotobeprivy(to)知情的(formal)feign假装preoccupation全神贯注levity轻率marv.毁掉unaffected朴实的真挚的heighten加深增强abortive失败的,无果的elation兴高采烈short-winded气踹嘘嘘rag
- 吸取教训
胡说八八六十四道
profit|ˈprɒfɪt;美ˈprɑ:fɪt|~(by/fromsth)(formal)togetsthusefulfromasituation;tobeusefultosborgivethemanadvantage获益;得到好处;对…有用(或有益)[单独使用的动词]Farmersareprofitingfromthenewlegislation.新法规使农民受益。Wetriedtoprofi
- Leetcode 918. Maximum Sum Circular Subarray (滑动窗口+单调队列好题)
纸上得来终觉浅 绝知此事要躬行
leetcode算法数据结构
MaximumSumCircularSubarrayMediumGivenacircularintegerarraynumsoflengthn,returnthemaximumpossiblesumofanon-emptysubarrayofnums.Acirculararraymeanstheendofthearrayconnectstothebeginningofthearray.Formal
- 形式化验证,Complete Formal Verification of TriCore2 and Other Processors(五)
好啊啊啊啊
形式化验证数字电路验证形式化验证完备性分析
目录一、Article:文献出处(方便再次搜索)(1)作者(2)文献题目(3)文献时间(4)引用二、Data:文献数据(总结归纳,方便理解)(1)背景介绍(2)目的(3)结论(4)主要实现手段三、Comments对文献的想法(强迫自己思考,结合自己的学科)四、Why:为什么看这篇文献(方便再次搜索)五、Summary:文献方向归纳(方便分类管理)一、Article:文献出处(方便再次搜索)(1)作
- 怎么会这样呢?
胡说八八六十四道
in(a)…fashion(formal)inaparticularway以…方式Howcouldtheybehaveinsuchafashion?他们的态度怎么会这样呢?Shewasprovedright,indramaticfashion,whenthewholedepartmentresigned.整个部门的人都辞了职,戏剧性地证明她是对的。(N-SING)以…方式;以…方法Ifyoudos
- 商务邮件:开头和结尾的常用表达
壹点肆壹肆
BusinessEmailOpenings:HowtoStartanEmailMakinganAnnouncementPleasebeadvisedthat…(formal)Pleasebeawarethat…(formal)Pleasenotethat…(neutral)Wearepleasedtoannounce…(forgoodnews)Weareproudtoannounce…(forgo
- 5步学英语
静心分享
使用“number-chunk-underline/circle-leftmargin-rightmargin”5步阅读笔记法,暑期一起与学生研读,学习语言、提升思维、了解历史(linguistic-formal-content)。
- Python——函数的参数和返回值_可变参数
上课不要睡觉了
Python知识体系python可变参数
在Python的函数中,可以定义可变参数。可变参数指的是在函数定义时,该函数可以接受任意个数的参数,参数的个数可能是1个或多个,也可能是0个。可变参数有两种形式,参数名称前加星号(*)或者加两个星号(**)。语法格式:deffunname(formal_args,*args,**kwargs):statementsreturnexpression在上面的函数定义中,formal_args为定义的传
- 1975 vol. 1 Issue No. 01 - March
zouxiaoyu
这期的主题貌似主要是formalspecification:(1)强调人的interactive,(2)推测程序的本意是否和specification符合,(3)将formal的关键是abstract级别的选取并分析了下data的abstract,(4)自动补充assert来帮忙验证,(5)dowhile的验证转移到loop,forloop的验证。(6)将系统用图理论构建起来一个structure
- 怎么能让自己的稿子更formal
石羽安
无论是英语课还是专业课,我都有一个通病,讲的内容太过于浅显,不够formal,那如何让我们稿子更学术一些呢?我对比了几次我和别人的汇报发现以下问题:首先是选题,选题时注意范围不能太大也不能太小,不要选太浅显的,否则讲来讲去也就是那些。其次是准备的材料,背景知识和理论知识要准备充分,论点的论证一定要用到例子,而有数据支持的例子要比没有数据支持的例子更让人信服。最后是讲解时,要把握重点,有些是需要重点
- [sqoop]将hive查询后的数据导入到MySQL
胖胖学编程
sqoophivesqoopmysql
一、知识点export:将Hive的表导入到mysql叫导出搜了很多,发现sqoop在hive导出到mysql时1)不支持where参数对数据进行过滤。2)不支持指定hive表的方式导出,只能指定Hive目录进行导出。二、操作1、在MySQL中建表createtablemy_hive.formal_extract_ren_kou(yearsvarchar(255),areasvarchar(255
- uniapp项目请求封装及状态码统一管理
zkzhengmeng
1.在项目根目录(pages同级目录)新建utils文件夹,在utils文件夹内新建request.js文件内容如下://1.md5是从数据交互安全考虑进行加密,如不需要可不用使用importmd5from'./md5.js'//文件可从网上下载放在utils文件夹下constbaseUrl='https://formal.com/'//正式环境地址需要更换成自己项目请求正式环境地址//const
- 地道西班牙语学习:打招呼你还在说 ¿Cómo estás?吗
浮华de流年
7formasdiferentesdepreguntar¿cómoestás?7种打招呼的西语表达,你一定要Get!1.¿Quétal?怎么样?Puedeserunsiempresaludoynodeseaalagentequeteconteste.(usoinformal&formal)这种提问的方式,仅仅只是简单问候一句,并不是想得到对方的答复。(正式/非正式用法皆可)2.¿Cómovatod
- Lecture 13 Formal Language Theory & Finite State Automata
小羊和小何
自然语言处理自然语言处理形式语言状态机
目录什么是语言?FormalLanguageTheory形式语言理论动机例子除了从属问题之外的问题RegularLanguages正则语言FiniteStateAcceptor正则语言的性质DerivationalMorphologyWeightedFSAFiniteStateTransducer(FST)FSTforInflectionalMorphologyNon-RegularLanguag
- 高完整性系统(7)Formal Verification and Validation
暖仔会飞
软件工程学习内容高完整性系统软件工程
文章目录SpecificationProcess规格化过程StateInvariants案例check...expectAlloy是一种用于构建和检查抽象模型的语言和工具。当Alloy说所有断言都成立时,这意味着你的模型或规格在给定范围内已成功通过了所有的断言检查。换句话说,对于你所定义的所有属性,Alloy的分析器已经找到了证据来确认这些属性在你的模型中是正确的。然而,这并不一定意味着你的规格就
- Formal Abstractions for Attested Execution Secure Processors
区块链布道者Enoch
摘要现实的安全处理器,包括为学术和商业目的而构建的处理器,通常实现“证明执行”抽象。尽管是现代安全处理器的事实上的标准,但“证明执行”抽象还没有得到足够的正式处理。我们为“证明执行”的安全处理器提供正式的抽象,并严格探索其表达能力。我们的探索既展示了预期,也展示了令人惊讶的结果。一方面,我们表明,就像普遍的看法一样,证明执行非常强大,并且允许人们实现强大的加密抽象,例如有状态的反映,即使在假设虚拟
- Formal property verification 形式验证 第四章
想喝奶茶啾啾
fpga开发systemverilog
目录一、FPV简介二、FPV实际应用三、基本的FPV环境1.编写RTL2.创建覆盖点3、创建假设4、创建断言5、时钟和复位6、运行验证四、FPV不同于模拟1、可以运行哪些类型和尺寸的模型2、如何达到目标行为3、检查哪些值4、怎样约束模型5、如何处理内部节点上的约束6、我们使用什么进行调试(debug)7、典型的轨迹(traces)有多长五、决定在哪里以及如何运行FPV1、使用Designexerc
- SAX解析xml文件
小猪猪08
xml
1.创建SAXParserFactory实例
2.通过SAXParserFactory对象获取SAXParser实例
3.创建一个类SAXParserHander继续DefaultHandler,并且实例化这个类
4.SAXParser实例的parse来获取文件
public static void main(String[] args) {
//
- 为什么mysql里的ibdata1文件不断的增长?
brotherlamp
linuxlinux运维linux资料linux视频linux运维自学
我们在 Percona 支持栏目经常收到关于 MySQL 的 ibdata1 文件的这个问题。
当监控服务器发送一个关于 MySQL 服务器存储的报警时,恐慌就开始了 —— 就是说磁盘快要满了。
一番调查后你意识到大多数地盘空间被 InnoDB 的共享表空间 ibdata1 使用。而你已经启用了 innodbfileper_table,所以问题是:
ibdata1存了什么?
当你启用了 i
- Quartz-quartz.properties配置
eksliang
quartz
其实Quartz JAR文件的org.quartz包下就包含了一个quartz.properties属性配置文件并提供了默认设置。如果需要调整默认配置,可以在类路径下建立一个新的quartz.properties,它将自动被Quartz加载并覆盖默认的设置。
下面是这些默认值的解释
#-----集群的配置
org.quartz.scheduler.instanceName =
- informatica session的使用
18289753290
workflowsessionlogInformatica
如果希望workflow存储最近20次的log,在session里的Config Object设置,log options做配置,save session log :sessions run ;savesessio log for these runs:20
session下面的source 里面有个tracing 
- Scrapy抓取网页时出现CRC check failed 0x471e6e9a != 0x7c07b839L的错误
酷的飞上天空
scrapy
Scrapy版本0.14.4
出现问题现象:
ERROR: Error downloading <GET http://xxxxx CRC check failed
解决方法
1.设置网络请求时的header中的属性'Accept-Encoding': '*;q=0'
明确表示不支持任何形式的压缩格式,避免程序的解压
- java Swing小集锦
永夜-极光
java swing
1.关闭窗体弹出确认对话框
1.1 this.setDefaultCloseOperation (JFrame.DO_NOTHING_ON_CLOSE);
1.2
this.addWindowListener (
new WindowAdapter () {
public void windo
- 强制删除.svn文件夹
随便小屋
java
在windows上,从别处复制的项目中可能带有.svn文件夹,手动删除太麻烦,并且每个文件夹下都有。所以写了个程序进行删除。因为.svn文件夹在windows上是只读的,所以用File中的delete()和deleteOnExist()方法都不能将其删除,所以只能采用windows命令方式进行删除
- GET和POST有什么区别?及为什么网上的多数答案都是错的。
aijuans
get post
如果有人问你,GET和POST,有什么区别?你会如何回答? 我的经历
前几天有人问我这个问题。我说GET是用于获取数据的,POST,一般用于将数据发给服务器之用。
这个答案好像并不是他想要的。于是他继续追问有没有别的区别?我说这就是个名字而已,如果服务器支持,他完全可以把G
- 谈谈新浪微博背后的那些算法
aoyouzi
谈谈新浪微博背后的那些算法
本文对微博中常见的问题的对应算法进行了简单的介绍,在实际应用中的算法比介绍的要复杂的多。当然,本文覆盖的主题并不全,比如好友推荐、热点跟踪等就没有涉及到。但古人云“窥一斑而见全豹”,希望本文的介绍能帮助大家更好的理解微博这样的社交网络应用。
微博是一个很多人都在用的社交应用。天天刷微博的人每天都会进行着这样几个操作:原创、转发、回复、阅读、关注、@等。其中,前四个是针对短博文,最后的关注和@则针
- Connection reset 连接被重置的解决方法
百合不是茶
java字符流连接被重置
流是java的核心部分,,昨天在做android服务器连接服务器的时候出了问题,就将代码放到java中执行,结果还是一样连接被重置
被重置的代码如下;
客户端代码;
package 通信软件服务器;
import java.io.BufferedWriter;
import java.io.OutputStream;
import java.io.O
- web.xml配置详解之filter
bijian1013
javaweb.xmlfilter
一.定义
<filter>
<filter-name>encodingfilter</filter-name>
<filter-class>com.my.app.EncodingFilter</filter-class>
<init-param>
<param-name>encoding<
- Heritrix
Bill_chen
多线程xml算法制造配置管理
作为纯Java语言开发的、功能强大的网络爬虫Heritrix,其功能极其强大,且扩展性良好,深受热爱搜索技术的盆友们的喜爱,但它配置较为复杂,且源码不好理解,最近又使劲看了下,结合自己的学习和理解,跟大家分享Heritrix的点点滴滴。
Heritrix的下载(http://sourceforge.net/projects/archive-crawler/)安装、配置,就不罗嗦了,可以自己找找资
- 【Zookeeper】FAQ
bit1129
zookeeper
1.脱离IDE,运行简单的Java客户端程序
#ZkClient是简单的Zookeeper~$ java -cp "./:zookeeper-3.4.6.jar:./lib/*" ZKClient
1. Zookeeper是的Watcher回调是同步操作,需要添加异步处理的代码
2. 如果Zookeeper集群跨越多个机房,那么Leader/
- The user specified as a definer ('aaa'@'localhost') does not exist
白糖_
localhost
今天遇到一个客户BUG,当前的jdbc连接用户是root,然后部分删除操作都会报下面这个错误:The user specified as a definer ('aaa'@'localhost') does not exist
最后找原因发现删除操作做了触发器,而触发器里面有这样一句
/*!50017 DEFINER = ''aaa@'localhost' */
原来最初
- javascript中showModelDialog刷新父页面
bozch
JavaScript刷新父页面showModalDialog
在页面中使用showModalDialog打开模式子页面窗口的时候,如果想在子页面中操作父页面中的某个节点,可以通过如下的进行:
window.showModalDialog('url',self,‘status...’); // 首先中间参数使用self
在子页面使用w
- 编程之美-买书折扣
bylijinnan
编程之美
import java.util.Arrays;
public class BookDiscount {
/**编程之美 买书折扣
书上的贪心算法的分析很有意思,我看了半天看不懂,结果作者说,贪心算法在这个问题上是不适用的。。
下面用动态规划实现。
哈利波特这本书一共有五卷,每卷都是8欧元,如果读者一次购买不同的两卷可扣除5%的折扣,三卷10%,四卷20%,五卷
- 关于struts2.3.4项目跨站执行脚本以及远程执行漏洞修复概要
chenbowen00
strutsWEB安全
因为近期负责的几个银行系统软件,需要交付客户,因此客户专门请了安全公司对系统进行了安全评测,结果发现了诸如跨站执行脚本,远程执行漏洞以及弱口令等问题。
下面记录下本次解决的过程以便后续
1、首先从最简单的开始处理,服务器的弱口令问题,首先根据安全工具提供的测试描述中发现应用服务器中存在一个匿名用户,默认是不需要密码的,经过分析发现服务器使用了FTP协议,
而使用ftp协议默认会产生一个匿名用
- [电力与暖气]煤炭燃烧与电力加温
comsci
在宇宙中,用贝塔射线观测地球某个部分,看上去,好像一个个马蜂窝,又像珊瑚礁一样,原来是某个国家的采煤区.....
不过,这个采煤区的煤炭看来是要用完了.....那么依赖将起燃烧并取暖的城市,在极度严寒的季节中...该怎么办呢?
&nbs
- oracle O7_DICTIONARY_ACCESSIBILITY参数
daizj
oracle
O7_DICTIONARY_ACCESSIBILITY参数控制对数据字典的访问.设置为true,如果用户被授予了如select any table等any table权限,用户即使不是dba或sysdba用户也可以访问数据字典.在9i及以上版本默认为false,8i及以前版本默认为true.如果设置为true就可能会带来安全上的一些问题.这也就为什么O7_DICTIONARY_ACCESSIBIL
- 比较全面的MySQL优化参考
dengkane
mysql
本文整理了一些MySQL的通用优化方法,做个简单的总结分享,旨在帮助那些没有专职MySQL DBA的企业做好基本的优化工作,至于具体的SQL优化,大部分通过加适当的索引即可达到效果,更复杂的就需要具体分析了,可以参考本站的一些优化案例或者联系我,下方有我的联系方式。这是上篇。
1、硬件层相关优化
1.1、CPU相关
在服务器的BIOS设置中,可
- C语言homework2,有一个逆序打印数字的小算法
dcj3sjt126com
c
#h1#
0、完成课堂例子
1、将一个四位数逆序打印
1234 ==> 4321
实现方法一:
# include <stdio.h>
int main(void)
{
int i = 1234;
int one = i%10;
int two = i / 10 % 10;
int three = i / 100 % 10;
- apacheBench对网站进行压力测试
dcj3sjt126com
apachebench
ab 的全称是 ApacheBench , 是 Apache 附带的一个小工具 , 专门用于 HTTP Server 的 benchmark testing , 可以同时模拟多个并发请求。前段时间看到公司的开发人员也在用它作一些测试,看起来也不错,很简单,也很容易使用,所以今天花一点时间看了一下。
通过下面的一个简单的例子和注释,相信大家可以更容易理解这个工具的使用。
- 2种办法让HashMap线程安全
flyfoxs
javajdkjni
多线程之--2种办法让HashMap线程安全
多线程之--synchronized 和reentrantlock的优缺点
多线程之--2种JAVA乐观锁的比较( NonfairSync VS. FairSync)
HashMap不是线程安全的,往往在写程序时需要通过一些方法来回避.其实JDK原生的提供了2种方法让HashMap支持线程安全.
- Spring Security(04)——认证简介
234390216
Spring Security认证过程
认证简介
目录
1.1 认证过程
1.2 Web应用的认证过程
1.2.1 ExceptionTranslationFilter
1.2.2 在request之间共享SecurityContext
1
- Java 位运算
Javahuhui
java位运算
// 左移( << ) 低位补0
// 0000 0000 0000 0000 0000 0000 0000 0110 然后左移2位后,低位补0:
// 0000 0000 0000 0000 0000 0000 0001 1000
System.out.println(6 << 2);// 运行结果是24
// 右移( >> ) 高位补"
- mysql免安装版配置
ldzyz007
mysql
1、my-small.ini是为了小型数据库而设计的。不应该把这个模型用于含有一些常用项目的数据库。
2、my-medium.ini是为中等规模的数据库而设计的。如果你正在企业中使用RHEL,可能会比这个操作系统的最小RAM需求(256MB)明显多得多的物理内存。由此可见,如果有那么多RAM内存可以使用,自然可以在同一台机器上运行其它服务。
3、my-large.ini是为专用于一个SQL数据
- MFC和ado数据库使用时遇到的问题
你不认识的休道人
sqlC++mfc
===================================================================
第一个
===================================================================
try{
CString sql;
sql.Format("select * from p
- 表单重复提交Double Submits
rensanning
double
可能发生的场景:
*多次点击提交按钮
*刷新页面
*点击浏览器回退按钮
*直接访问收藏夹中的地址
*重复发送HTTP请求(Ajax)
(1)点击按钮后disable该按钮一会儿,这样能避免急躁的用户频繁点击按钮。
这种方法确实有些粗暴,友好一点的可以把按钮的文字变一下做个提示,比如Bootstrap的做法:
http://getbootstrap.co
- Java String 十大常见问题
tomcat_oracle
java正则表达式
1.字符串比较,使用“==”还是equals()? "=="判断两个引用的是不是同一个内存地址(同一个物理对象)。 equals()判断两个字符串的值是否相等。 除非你想判断两个string引用是否同一个对象,否则应该总是使用equals()方法。 如果你了解字符串的驻留(String Interning)则会更好地理解这个问题。
- SpringMVC 登陆拦截器实现登陆控制
xp9802
springMVC
思路,先登陆后,将登陆信息存储在session中,然后通过拦截器,对系统中的页面和资源进行访问拦截,同时对于登陆本身相关的页面和资源不拦截。
实现方法:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23