// JavaScript Document
var no_images = 0;
function gen_image(cat_name) {
	switch (cat_name) {
	case ("events"):
		no_images=3;
		break;
	
	case ("min"):
		no_images=1;
		break;

	case ("ece"):
		no_images=3;
		break;

	case ("mec"):
		no_images=2;
		break;

	case ("civ"):
		no_images=2;
		break;
	
	default:
		no_images=8;
		cat_name = "def"
		break;
	}
	document.getElementById("picture").src = "images_new/" + cat_name + Math.round(1+Math.random() * (no_images-1)) + ".jpg";
}