The above header image is currently being slid about with the Header Image Slider plug-in. This is a set and go option with the Twenty Eleven theme so no need to hack around in the header.php file. It is currently running on the random option which will show the various slides and fades available.