12194x3 ) ( 1243 .)