17 , » 9f.