383X3 ) ( 4239 .)