20275 x 3 ) ( 5143 .)