//General JS file for harvested bits of rubbish from all over the site.

//This from index.html
//Random headline gif array:
myPix=new Array("assets/images/quartet.jpg", "assets/images/party.jpg", "assets/images/becks-together.jpg");

imgCt = myPix.length;
randomNum = Math.floor((Math.random() * imgCt));

function showRandomImage(){
  var imgEl = document.getElementById('cyclingImage');
  if (imgEl != null){
    imgEl.src = myPix[randomNum];
  }
}