( 9948 & gt;