4282X5 . ) ( 3613 .)