5723X3 ) ( 3.884 .)