( 7912 & gt;