12 , 845 .)