( 4 12709 ) * ( 1676)