<!--
function random(n) {
        return (Math.floor(Math.random()*100000)%n);
}

Math.random();


function WinOpen(menu) {
  newwin = open(menu,"win","width=600,height=450,scrollbars=yes,menubar=no,status=yes");
  }


function WinOpen730_530(menu) {
tool_newwin = open(menu,"win","width=730,height=530,scrollbars=yes,menubar=no,status=no,toolbar=no");
}
//-->