4390 ) ( 5117 .)