20275x3 ) ( 5143 .)