Random values from a PERT distribution in pythoon

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