( 524 & gt;