5393 . ) ( 7417 .)