print("7.1.27\n");
break;
case "7.2":
print("7.1.27\n");
break;
case "7.2":
+ print("7.3.25\n");
+ break;
+ case "7.4":
+ print("7.4.13\n");
+ break;
+ case "8.0":
+ print("8.0.0\n");
break;
case "master":
print("master\n");
break;
case "master":
print("master\n");