<!--
function randomImages() {
  document.getElementById('topbutton').src = randomButton(7);
  //document.getElementById('horsehead').src = randomHorseHead(17)
}

function randomButton(count) {
  return 'images/buttons/topbutton'+Math.floor(Math.random()*count+1)+'.gif'
}

function randomHorseHead(count) {
  return 'images/header/horsehead/horsehead'+Math.floor(Math.random()*count+1)+'.gif'
}
-->