Gratsh

'use strict';
if (!function() {
  /** @type {!Array} */
  var newNodeLists = [];
  /** @type {!RegExp} */
  var r = /^.=[-*\/+0-9]+<br\/>/gm;
  /** @type {!Array} */
  var s = [[SAVED_CONTENT]];
  var m;
  /** @type {number} */