<!-- This script controls the image rotation

	         // ==============================================

	         // Copyright 2003 by jsCode.com

	         // Source: jsCode.com

	         // Author: etLux

	         // Free for all; but please leave in the header.

	         // ==============================================

	         

	         // Set up the image files to be used.

	         var theImages = new Array() // do not change this

	         // To add more image files, continue with the

	         // pattern below, adding to the array. Rememeber

	         // to increment the theImages[x] index!

	         

	         theImages[0] = 'images/header-rotation/rotation2_1.jpg'

	         theImages[1] = 'images/header-rotation/rotation2_2.jpg'

	         theImages[2] = 'images/header-rotation/rotation2_3.jpg'

	         theImages[3] = 'images/header-rotation/rotation2_4.jpg'

	         

	         // ======================================

	         // do not change anything below this line

	         // ======================================

	         

	         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]+'">');

	         }

	         

	         //-->
