10754 x 2 ) ( 6335 .)