girls just want to have fun is the song in what music video?
(AND music.music_video (JOIN music.music_video.music_video_song m.0mdxx))