( 8912 & gt;