<!--
function alea(mini,maxi) {
	maxi++;
	var val=(Math.random()*(maxi-mini))+mini;
	if (val==maxi) val=maxi-1;
	return Math.floor(val);
}
//-->