4194 , 8 .)