5238 : 3 .)