var total=8;

var nombres = new Array("Pafman: superhéroe estúpido",
		"Pafcat: sidekick. O algo.",
		"Tina Tonas: sobrina",
		"Mafrune: comisario o lo que se tercie",
		"Enmascarado Negro: villano",
		"Profesor Fuyú: científico",
		"Doctor Ganyuflo: científico loco",
		"Pillina: ninja y esbirra");

var ficheros = new Array("pafman",
		"pafcat",
		"tina",
		"mafrune",
		"negro",
		"fuyu",
		"ganyuflo",
		"pillina");


function randCalc(number) {
	return Math.ceil(rnd()*number)-1;
}

function rnd() {        
	return Math.random();    
}

function randDistinto(number, distinto) {
        calcula = randCalc(number);
        while (calcula==distinto) {
        	calcula = randCalc(number);
		}
        return calcula;
}