10037 x 6 ) ( 5164 .)