12862 , 3 .)