( 7987 & gt;