progn = new Array(3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,6,6,6,6,6,6,6,6,6,6,6,7,7,7,7,7,7,7,7,7,8,8,8,8,8,8,9,9,9,9,9,10,10,10,11);

/* function be (a,b) { return Math.floor( a + (a-b+1) * (Math.random()) ); } */

function be (a,b) {
	return Math.floor( a + (b-a+1) * (Math.random()) );
}


function tip() {
	mum = new Array(0,0,0,0,0,0,0);
	do {
		mum[0] = progn[be(0,60)]-1 ;
		for (i=1; i<=6; i++)
			mum[i] = mum[i-1] + progn[be(0,60)];
	} while ((mum[6]<37) || (mum[6]>47));
	return mum;
}

function tip_lrj (elemname) {
	lrj = document.getElementById(elemname);
	if (lrj == null) return;
	lrj.style.display = '';
	mum = tip();
	lrj.innerHTML = ' &nbsp; ';
	for (y=0; y<=6; y++) 
	lrj.innerHTML += mum[y] + ' &nbsp; ';
}