( 12 , 743 .)