( 12 , 723 .)