9 , 172 .)