( 12 , 733 .)