

function randomAnimation() {

	igo = 1;
	iend = 10;
	perline = 1;

	igo = parseFloat(igo)
	iend = parseFloat(iend)
	perline = parseFloat(perline)
	nitem = iend-igo+1

	if (nitem<2) {
		alert("Largest integer does not exceed smallest"); return;}

		/* set up random number generator*/
	ix = 12345;
	iy = 23456;


	xseed= new Date();
	seed = 1 + (xseed.getSeconds()*1000 + xseed.getMinutes()*10 + xseed.getHours()) % 29998
	seed2 = seed;

	/* make list of integers*/
	ilist = new Array

	for (i=1; i<=nitem; ++i) {
		ilist[i] = igo-1+i
	}
											
	/* Permute it */
	for (i=nitem; i>=2; --i) {
		j = i * random() + 1;
		j = j - j%1;
		dummy = ilist[i];
		ilist[i] = ilist[j];
		ilist[j] = dummy;
	}

	str = new Array()
	for (j=1; j<=nitem; ++j){
		str.push(ilist[j]);
	}

	return str;
}

function random () {
	ix = (ix * 171) % 30269;
	iy = (iy * 172) % 30307;
	seed = (seed * 170) % 30323;
	
	r = (ix / 30269 + iy / 30307 + seed / 30323) % 1;
	if (r >= 1) {r = 0.999999};
	return r;
}


function blank(x) {
	var b=""
	var n=x.length
	for(var i=1;i<=n;i++) {b += " ";}
	if (x==b) {
	return true;} 
	else {
	return false;}
	return bl;
}

function digits(x) {
	if (x=="") {
		return false;
	}
	for(i=0;i<x.length;i++) {
		if (x.substring(i,i+1)<"0" || x.substring(i,i+1)>"9") {
			return false
		}
	} 
	return true;
}


