On the subject of catchy tunes

In the office today, someone observed that everyone knows the Jurassic Park music. I said that I don't think I do, upon which everybody chorused "Der der der der der, der der der der der", and I had to admit I did vaguely remember it.