( 15 ; 673 .)