<script>
var str="123456789";
var ok = new Array();
for(var i=0;i<9;i++)
{
var tmp = Math.floor(Math.random()*str.length);
ok[i]=str.charAt(tmp);
str=str.replace(ok[i],"")
}
alert(ok)
</script>
<script>
function cr(){
var a = new Array("1","2","3","4","5","6","7","8","9");
var i=9;
while(i>0){
var tmp = Math.floor(Math.random()*i);
document.all.a1.cells(i-1).innerHTML = a[tmp];
for (var j=tmp;j<i-1;j++){
a[j] = a[j+1];
}
i--;
a.length = i;
}
}