5319X1- ) ( 3993 .)