    var theImages = new Array()
    // do not change this

    theImages[0] = '/images/bannerV2-boldlygoingnowhere.jpg'
    theImages[1] = '/images/bannerV2-doinganythingforca.jpg'
    theImages[2] = '/images/bannerV2-mixingfivegames.jpg'
    theImages[3] = '/images/bannerV2-dodgingsatellites.jpg'
    theImages[4] = '/images/bannerV2-battlingthehoff.jpg'
    theImages[5] = '/images/bannerV2-chronologicallydis.jpg'
    theImages[6] = '/images/bannerV2-defyingthenorm.jpg'

    var j = 0
    var p = theImages.length;

    var preBuffer = new Array()
    for (i = 0; i < p; i++){
    preBuffer[i] = new Image()
    preBuffer[i].src = theImages[i]
    }

    var whichImage = Math.round(Math.random()*(p-1));
    function showImage(){
    document.write('<img src="'+theImages[whichImage]+'">');
    }

    //-->
