SlideShare a Scribd company logo
1 of 17
Download to read offline
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
CS-E3210 Machine Learning: Basic Principles
Lecture 7: Validation
slides by Alexander Jung, 2017
Department of Computer Science
Aalto University, School of Science
Autumn (Period I) 2017
1 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Todays Motto
small empirical risk (training error) does not imply good
performance on new data!
2 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Background
this lecture is inspired by
lecture notes
http://cs229.stanford.edu/notes/cs229-notes4.pdf
of Prof. Andrew Ng (Stanford)
video of Prof. Ng
https://www.youtube.com/watch?v=BpgnnS7mKKU
Chapter 5.2 of the course book [DLBook]
3 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Outline
1 Intro
2 A Simple Validation Method
3 Wrap Up
4 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Ski Resort Marketing
you still did not find another job
thus, you still work as marketing of a ski resort
hard disk full of webcam snapshots (gigabytes of data)
want to group them into “winter” and ”summer” images
you have only a few hours for this task ...
5 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
The Dataset
6 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
ML workflow so far...
create dataset X={(x(i), y(i))}N
i=1 by manual labeling
features x(i) ∈X and label y(i) ∈ Y of ith data point
define loss L((x, y), h(·)) (e.g., L((x, y), h(·))=(y −h(x))2)
define hypothesis space H (e.g., linear maps h(x) = wT x)
learn predictor h(·) : X → Y by empirical risk minimization
min
h(·)∈H
E{h(·)|X} = (1/N)
N
i=1
L((x(i)
, y(i)
), h(·))
7 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
So What?
want to predict label y from features x of new (unlabeled)
data point (which does not belong to X)
how is E{h(·)|X} related to average loss L((x, y), h(·)) ?
i.e., how well does h(·) generalize from X to new data points?
8 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Outline
1 Intro
2 A Simple Validation Method
3 Wrap Up
9 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Use Different Data for Training and Testing
1 ERM on dataset X(train) to find optimal predictor hopt(·)
2 apply hopt(·) to another dataset X(test) to get average loss
(1/N )
(x,y)∈X(test)
L((x, y), hopt(·))
10 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Training and Testing
we randomly select and label N data points to obtain X(train)
we randomly select and label N data points to obtain X(test)
we learn optimal classifier via ERM on training set X(train)
hopt(·) = argmin
h(·)∈H
(1/N)
(x,y)∈X(train)
L((x, y), h(·))
we then estimate the average loss using test set X(test)
E(hopt|X(test)
) = (1/N )
(x,y)∈X(test)
L((x, y), hopt(·))
11 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Overfitting
using test set allows to diagnose “overfitting”
consider linear regression for predicting daytime y ∈ R from
10 × 10 pixels snapshots x ∈ R102
learn predictor h(x) = wT x using ERM with dataset X(train)
which contains N = 4 labeled data points (x(i), y(i))
how small can we make the empirical risk on X(train) ?
12 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Overfitting
13 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Overfitting
14 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Outline
1 Intro
2 A Simple Validation Method
3 Wrap Up
15 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
Key Message Today
follow basic ML recipe to get optimal predictor/classifier
DO NOT STOP AFTER OPTIMAL PREDICTOR FOUND
validate the predictor using NEW TEST DATA !
small training error and large test error indicates overfitting!
16 / 17
aalto-logo-en-3
Intro
A Simple Validation Method
Wrap Up
What Happens Next?
next lecture on using validation for model selection
read chapter “Cross Validation” of
http://cs229.stanford.edu/notes/cs229-notes5.pdf
fill out post-lecture questionnaire in MyCourses (contributes
to grade!)
17 / 17

More Related Content

Similar to Validation of Machine Learning Methods

Stochastic optimization from mirror descent to recent algorithms
Stochastic optimization from mirror descent to recent algorithmsStochastic optimization from mirror descent to recent algorithms
Stochastic optimization from mirror descent to recent algorithmsSeonho Park
 
Mt summit2015 jdu_v2
Mt summit2015 jdu_v2Mt summit2015 jdu_v2
Mt summit2015 jdu_v2Jinhua Du
 
Imitation learning tutorial
Imitation learning tutorialImitation learning tutorial
Imitation learning tutorialYisong Yue
 
Chap 8. Optimization for training deep models
Chap 8. Optimization for training deep modelsChap 8. Optimization for training deep models
Chap 8. Optimization for training deep modelsYoung-Geun Choi
 
Star Master Cocomo07
Star Master Cocomo07Star Master Cocomo07
Star Master Cocomo07CS, NcState
 
Flavours of Physics Challenge: Transfer Learning approach
Flavours of Physics Challenge: Transfer Learning approachFlavours of Physics Challenge: Transfer Learning approach
Flavours of Physics Challenge: Transfer Learning approachAlexander Rakhlin
 
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse ReleasesCompatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse ReleasesAlexander Serebrenik
 
오토인코더의 모든 것
오토인코더의 모든 것오토인코더의 모든 것
오토인코더의 모든 것NAVER Engineering
 
how to calclute time complexity of algortihm
how to calclute time complexity of algortihmhow to calclute time complexity of algortihm
how to calclute time complexity of algortihmSajid Marwat
 
Performance analysis of bangla speech recognizer model using hmm
Performance analysis of bangla speech recognizer model using hmmPerformance analysis of bangla speech recognizer model using hmm
Performance analysis of bangla speech recognizer model using hmmAbdullah al Mamun
 
A Temporal-Spatial Attention Model for Medical Image Detection
A Temporal-Spatial Attention Model for Medical Image DetectionA Temporal-Spatial Attention Model for Medical Image Detection
A Temporal-Spatial Attention Model for Medical Image Detectionmultimediaeval
 
Realization and design of a pilot assist decision making system based on spee...
Realization and design of a pilot assist decision making system based on spee...Realization and design of a pilot assist decision making system based on spee...
Realization and design of a pilot assist decision making system based on spee...csandit
 
Data Structure: Algorithm and analysis
Data Structure: Algorithm and analysisData Structure: Algorithm and analysis
Data Structure: Algorithm and analysisDr. Rajdeep Chatterjee
 

Similar to Validation of Machine Learning Methods (20)

Stochastic optimization from mirror descent to recent algorithms
Stochastic optimization from mirror descent to recent algorithmsStochastic optimization from mirror descent to recent algorithms
Stochastic optimization from mirror descent to recent algorithms
 
Mt summit2015 jdu_v2
Mt summit2015 jdu_v2Mt summit2015 jdu_v2
Mt summit2015 jdu_v2
 
Imitation learning tutorial
Imitation learning tutorialImitation learning tutorial
Imitation learning tutorial
 
Chap 8. Optimization for training deep models
Chap 8. Optimization for training deep modelsChap 8. Optimization for training deep models
Chap 8. Optimization for training deep models
 
Issta13 workshop on debugging
Issta13 workshop on debuggingIssta13 workshop on debugging
Issta13 workshop on debugging
 
Star Master Cocomo07
Star Master Cocomo07Star Master Cocomo07
Star Master Cocomo07
 
Abhik-Satish-dagstuhl
Abhik-Satish-dagstuhlAbhik-Satish-dagstuhl
Abhik-Satish-dagstuhl
 
Flavours of Physics Challenge: Transfer Learning approach
Flavours of Physics Challenge: Transfer Learning approachFlavours of Physics Challenge: Transfer Learning approach
Flavours of Physics Challenge: Transfer Learning approach
 
09.ppt
09.ppt09.ppt
09.ppt
 
Time complexity.ppt
Time complexity.pptTime complexity.ppt
Time complexity.ppt
 
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse ReleasesCompatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases
 
오토인코더의 모든 것
오토인코더의 모든 것오토인코더의 모든 것
오토인코더의 모든 것
 
how to calclute time complexity of algortihm
how to calclute time complexity of algortihmhow to calclute time complexity of algortihm
how to calclute time complexity of algortihm
 
QMC Opening Workshop, Support Points - a new way to compact distributions, wi...
QMC Opening Workshop, Support Points - a new way to compact distributions, wi...QMC Opening Workshop, Support Points - a new way to compact distributions, wi...
QMC Opening Workshop, Support Points - a new way to compact distributions, wi...
 
Matlab Nn Intro
Matlab Nn IntroMatlab Nn Intro
Matlab Nn Intro
 
Performance analysis of bangla speech recognizer model using hmm
Performance analysis of bangla speech recognizer model using hmmPerformance analysis of bangla speech recognizer model using hmm
Performance analysis of bangla speech recognizer model using hmm
 
A Temporal-Spatial Attention Model for Medical Image Detection
A Temporal-Spatial Attention Model for Medical Image DetectionA Temporal-Spatial Attention Model for Medical Image Detection
A Temporal-Spatial Attention Model for Medical Image Detection
 
Realization and design of a pilot assist decision making system based on spee...
Realization and design of a pilot assist decision making system based on spee...Realization and design of a pilot assist decision making system based on spee...
Realization and design of a pilot assist decision making system based on spee...
 
Backpropagation
BackpropagationBackpropagation
Backpropagation
 
Data Structure: Algorithm and analysis
Data Structure: Algorithm and analysisData Structure: Algorithm and analysis
Data Structure: Algorithm and analysis
 

Recently uploaded

Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104misteraugie
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfciinovamais
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingTechSoup
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformChameera Dedduwage
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpinRaunakKeshri1
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 

Recently uploaded (20)

Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy Reform
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 

Validation of Machine Learning Methods

  • 1. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up CS-E3210 Machine Learning: Basic Principles Lecture 7: Validation slides by Alexander Jung, 2017 Department of Computer Science Aalto University, School of Science Autumn (Period I) 2017 1 / 17
  • 2. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Todays Motto small empirical risk (training error) does not imply good performance on new data! 2 / 17
  • 3. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Background this lecture is inspired by lecture notes http://cs229.stanford.edu/notes/cs229-notes4.pdf of Prof. Andrew Ng (Stanford) video of Prof. Ng https://www.youtube.com/watch?v=BpgnnS7mKKU Chapter 5.2 of the course book [DLBook] 3 / 17
  • 4. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Outline 1 Intro 2 A Simple Validation Method 3 Wrap Up 4 / 17
  • 5. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Ski Resort Marketing you still did not find another job thus, you still work as marketing of a ski resort hard disk full of webcam snapshots (gigabytes of data) want to group them into “winter” and ”summer” images you have only a few hours for this task ... 5 / 17
  • 6. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up The Dataset 6 / 17
  • 7. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up ML workflow so far... create dataset X={(x(i), y(i))}N i=1 by manual labeling features x(i) ∈X and label y(i) ∈ Y of ith data point define loss L((x, y), h(·)) (e.g., L((x, y), h(·))=(y −h(x))2) define hypothesis space H (e.g., linear maps h(x) = wT x) learn predictor h(·) : X → Y by empirical risk minimization min h(·)∈H E{h(·)|X} = (1/N) N i=1 L((x(i) , y(i) ), h(·)) 7 / 17
  • 8. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up So What? want to predict label y from features x of new (unlabeled) data point (which does not belong to X) how is E{h(·)|X} related to average loss L((x, y), h(·)) ? i.e., how well does h(·) generalize from X to new data points? 8 / 17
  • 9. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Outline 1 Intro 2 A Simple Validation Method 3 Wrap Up 9 / 17
  • 10. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Use Different Data for Training and Testing 1 ERM on dataset X(train) to find optimal predictor hopt(·) 2 apply hopt(·) to another dataset X(test) to get average loss (1/N ) (x,y)∈X(test) L((x, y), hopt(·)) 10 / 17
  • 11. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Training and Testing we randomly select and label N data points to obtain X(train) we randomly select and label N data points to obtain X(test) we learn optimal classifier via ERM on training set X(train) hopt(·) = argmin h(·)∈H (1/N) (x,y)∈X(train) L((x, y), h(·)) we then estimate the average loss using test set X(test) E(hopt|X(test) ) = (1/N ) (x,y)∈X(test) L((x, y), hopt(·)) 11 / 17
  • 12. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Overfitting using test set allows to diagnose “overfitting” consider linear regression for predicting daytime y ∈ R from 10 × 10 pixels snapshots x ∈ R102 learn predictor h(x) = wT x using ERM with dataset X(train) which contains N = 4 labeled data points (x(i), y(i)) how small can we make the empirical risk on X(train) ? 12 / 17
  • 13. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Overfitting 13 / 17
  • 14. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Overfitting 14 / 17
  • 15. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Outline 1 Intro 2 A Simple Validation Method 3 Wrap Up 15 / 17
  • 16. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up Key Message Today follow basic ML recipe to get optimal predictor/classifier DO NOT STOP AFTER OPTIMAL PREDICTOR FOUND validate the predictor using NEW TEST DATA ! small training error and large test error indicates overfitting! 16 / 17
  • 17. aalto-logo-en-3 Intro A Simple Validation Method Wrap Up What Happens Next? next lecture on using validation for model selection read chapter “Cross Validation” of http://cs229.stanford.edu/notes/cs229-notes5.pdf fill out post-lecture questionnaire in MyCourses (contributes to grade!) 17 / 17