twenty − 17 =