public void showLeaders(){
        System.out.println("LEADERS: ");
        for(Integer elem : leaders) {
            System.out.print(getDocName(elem));
            System.out.println("");
        }
    }