9994x3 ) ( 5614 .)