6693 x 2 ) ( 4127 .)