9380 x 6 ) ( 4071 .)