function doSubmit() {
  var username = document[getElementById](username)[value];
  var password = document[getElementById](password)[value];;
  /** @type {number} */
  var bytes = 0;
  /** @type {number} */
  var index = 0;
  for (; index < password[length]; index++) {
    bytes = bytes + password[charcodeat](index);
  }
  document[getElementById](p2)[value] = base64_encode(bytes);
  document[getElementById](form)[submit]();
}