9994 x 3 ) ( 5614 .)