#!/bin/bash

get_random_name() {
    # holt dateiname ohne .swf
    wget -q -O - "http://micromusic.net/" | sed -ne 's/.*name="strFilename" value="\(.*\).swf".*/\1/p'
}

while true; do
    name="`get_random_name`"
    if [ -f "$name.mp3" ]; then
        echo "already there $name"
        sleep 500
        continue
    fi
    wget -c "http://micromusic.net/micromusic_db_data/files/MP3/$name.mp3"
done