8471 , 3 .)