// JavaScript Document

function ok() {
	var x = Math.round(Math.random() *100000);
	document.form1.nummer.value = x ;
	document.getElementById("ok1").firstChild.nodeValue = x ;
}