To download video: Right click on the following button and select "Save Link As"
To download mp3 (audio): Click "Download mp3" button
Cautionary remarks about avoiding HTML validation errors when putting Javascript in your HTML page.
