( 17 , 258 .]