10153X1 ) ( 5 , 712 ;)