( 17 , 419 kbf .)