12 17 , if.