I think the sound is generated locally. Check out the page source, which contains the JS I think is responsible for generation (I haven't checked in detail).