( 23307 & gt;