Does anyone know what song is played when the credits role at the end of the Spiderman movie? A friend mentioned liking it, but I don't remember what it was.