8 ( 17 , 015 .)