13017 , 8 .)