( 2472 & gt;