8993 ) ; (31111