( 642 & gt;