12383x2 ) ( 1354 .)