sources = new Array
sources[1] = "htdoc/TA_Maxims.html"
sources[2] = "htdoc/JC_Maxims.html"
sources[3] = sources[1]
sources[4] = sources[2]
sources[5] = sources[1]
sources[6] = sources[2]
sources[7] = sources[1]
sources[8] = sources[2]
sources[9] = sources[1]
sources[10] = sources[2]

function findfact(){
var sourcenumberX = 10 ;
var randomnumberX = Math.random() ;
var randomsourceX = Math.round( (sourcenumberX-1) * randomnumberX) + 1 ;
var source = sources[randomsourceX];
loadSource('layer3',null,source);
//showfact('layer3', source);
}

function showfact(layer, newfact) {
if (document.all) {
	document.getElementById(layer).document.write('<scr' + 'ipt src="' + newfact + '"><\/scr' + 'ipt>');
	//document.all[layer].innerHTML = newfact;
	}
}
