3 , 712 , 100 : —;