function rand ( n ){
		return ( Math.floor ( Math.random ( ) * n + 1 ) );
	}

	function getrandom(){
		var f1=rand(7);
		f1="1"+f1;
		var f2=rand(7);
		f2="2"+f2;
		var f3=rand(7);
		f3="3"+f3;
		var f4=rand(7);
		f4="4"+f4;
		var f5=rand(7);
		f5="5"+f5;
		var r1=document.getElementById(f1);
		document.getElementById("res1").value="";
		document.getElementById("res1").value+=r1.value;
		document.getElementById("res1").value+=" ";
		var r2=document.getElementById(f2);
		document.getElementById("res1").value+=r2.value;
		document.getElementById("res1").value+=" ";
		var r3=document.getElementById(f3);
		document.getElementById("res1").value+=r3.value;
		document.getElementById("res1").value+=" ";
		var r4=document.getElementById(f4);
		document.getElementById("res1").value+=r4.value;
		document.getElementById("res1").value+=" ";
		var r5=document.getElementById(f5);
		document.getElementById("res1").value+=r5.value;
		document.getElementById("res1").value+=" ";
		return false;
	}

	function cleartext(){
		document.getElementById("resfin").value="";
	}

	function saverandom(){
		document.getElementById("resfin").value+=document.getElementById("res1").value;
		document.getElementById("resfin").value+='\n';
	}