6083x3 . ( 7 , 713 .)