4294 ) * ( 7988)