( 673 & gt;