var randImages = new Array() 
randImages[0] = 'images/headerpics1.jpg'
randImages[1] = 'images/headerpics2.jpg'
randImages[2] = 'images/headerpics3.jpg'
randImages[3] = 'images/headerpics4.jpg'
randImages[4] = 'images/headerpics5.jpg'
randImages[5] = 'images/headerpics6.jpg'
randImages[6] = 'images/headerpics7.jpg'
randImages[7] = 'images/headerpics8.jpg'
randImages[8] = 'images/headerpics9.jpg'

var j = 0
var z = randImages.length;
var preBuffer = new Array()
for (i = 0; i < z; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = randImages[i]
}
var whichImage = Math.round(Math.random()*(z-1));
function showImage(){
document.write('<img src="'+randImages[whichImage]+'">');
}


function toggleColor(objElement)
{
  if (objElement.className=='inputnormal')
    objElement.className='inputfocus';
  else
    objElement.className='inputnormal';
}