10712 , 3 .)