;
    } else if (i >= the_limit) {
      break;
    } else {
      z = zplus(c, zsquare_traced(z));
      i = i + 1;
    }
  }
  return i;
}

function intToString(n) {
  return String(n);
}

function hexdigit(i) {
  return "0123456789abcdef".charAt(i);
}

function redshade(i, max) {
  if (i == max) return "#000";
  else return "#" + hexdigit(16*i/max) + "33";
}

function pixeldiv(x, y, size, color) {
  var s = intToString(size);
  var sx = intToString(x);
  var sy = intToString(y);
  var div = document.crea