function WAVE_showImage(imageNo, imageID, imageBaseLocation, imageExt) {

	randomnumber = WAVE_generateRandomNo();
	
	while (randomnumber == imageNo) {
	    randomnumber = WAVE_generateRandomNo();
	}
	
	WAVE_switchImage(randomnumber, imageID, imageBaseLocation, imageExt);
}

function  WAVE_generateRandomNo() {
  var randomnumber = Math.floor( Math.random()*10 ) +1;
  return randomnumber;
}

function WAVE_switchImage(randomnumber, imageID, imageBaseLocation, imageExt) {
  document.getElementById(imageID).src = imageBaseLocation + randomnumber + '.' + imageExt;
}