               if (level <= 2) {
                        prec = 2;
                    } else if (level > 2 && level <= 5) {
                        prec = 10;
                    } else if (level > 5 && level <= 8) {
                        prec = 12;
                    } else if (level > 8 && level <= 11) {
                        prec = 12;
                    } else if (level > 11 && level <= 13) {
                        prec = 12;
                    } else if (level > 13 && level <= 15) {
          