8993X3 . ) ( 5394 .)