Selects a random header image in the TwentyTen theme in WordPress 3.0