5 , 253 , 712 ;.