// An adaptation of a random tip script to display a random image on each refresh
function mytip2(server_path) {
  var mess = [];
  mess.push('matt_banners_1.jpg');
  mess.push('matt_banners_2.jpg');
  mess.push('matt_banners_3.jpg');
  mess.push('matt_banners_4.jpg');
  mess.push('matt_banners_5.jpg');
  var num = Math.floor((Math.random() * mess.length));
  document.writeln('<img src="'+server_path+'images/'+mess[num]+'" alt="Matthew Dekort banner" />');
}