5243 : 1 .)