6399 x 2 ) ( 3132 .)