var _dp = new Uint32Array(256 * 256);function StrDist(a, b) { for (var i = 1; i <= a.length; ++i) _dp[i * 256] = i; for (var j = 1; j <= b.length; ++j) _dp[j] = j; for (var i = 0; i < a.length; ++i) { for (var j = 0; j < b.length; ++j) { var c = i * 256 + j; _dp[c + 257] = Math.min(_dp[c + 1] + 1, _dp[c + 256] + 1, _dp[c] + (a[i] != b[j])); } } return _dp[a.length * 256 + b.length];}