12852 ) ( 3948 .)