// Random image

var imgs = new Array();
addImg('costa-min-surface-small', '200', '100', 'Costa’s surface');
addImg('twistedvase', '122', '150', 'Twisted vase');
addImg('psuedosphere', '117', '100', 'Psuedosphere');

function addImg(file, width, height, caption) {
	// assumes the zip file contains all mw files
	var newImg = '<img src="files/' + file + '.png" width="' + width +  '" height="' + height +'" alt="' + caption + '" /><br />' + caption + ' (<a href="files/Maple-files.zip">zip</a>)';
	imgs[imgs.length] = newImg;
}

function randImg() {
  var r = Math.random();
  r = Math.floor(r * (imgs.length+1));
  r = r % imgs.length;
  return imgs[r];
}