mr 6 , 712 .)