638         tsLimit = 1000 * 10;

   638         tsLimit = 1000 * 10;

   639       else

   639       else

   640         tsLimit = 1000 * tsLimit;

   640         tsLimit = 1000 * tsLimit;

   641       var safeBdr = board.create();

   641       var safeBdr = board.create();

   642       var tsLimitFrom = new Date().getTime();

   642       var tsLimitFrom = new Date().getTime();

   644         var turn = 0;

   644         var turn = 0;

   645         var brd = board.create();

   645         var brd = board.create();

   646         board.putRandom(brd);

   646         board.putRandom(brd);

   647         var tsFrom = new Date().getTime();

   647         var tsFrom = new Date().getTime();

   648         while (!board.gameOver(brd)) {

   648         while (!board.gameOver(brd)) {

   718       trDom.appendChild(thDom);

   718       trDom.appendChild(thDom);

   719       var thDom = document.createElement('td');

   719       var thDom = document.createElement('td');

   720       thDom.appendChild(document.createTextNode('max score'));

   720       thDom.appendChild(document.createTextNode('max score'));

   721       trDom.appendChild(thDom);

   721       trDom.appendChild(thDom);

   722       tableDom.appendChild(trDom);

   722       tableDom.appendChild(trDom);

   724       for (var i = maxVals.length-1; i >= 0; i--) {

   724       for (var i = maxVals.length-1; i >= 0; i--) {

   725         var maxVal = maxVals[i];

   725         var maxVal = maxVals[i];

   726         var row = histo[maxVals[i]];

   726         var row = histo[maxVals[i]];

   727         console.log("%d: %o", maxVals[i], row);

   727         console.log("%d: %o", maxVals[i], row);

   728         var trDom = document.createElement('tr');

   728         var trDom = document.createElement('tr');