7872 . ) ( 1393 .)