Generate random numbers in PERT distribution

I'd like to generate in python 10,000 radom values from a PERT distribution that has the following parameters low=6898.5, peak= 7338.93, high=7705.87