6 , 457 , 712 : 3 *.