text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /*---
  info: If string.charAt(k) in [0xDC00 - 0xDFFF], throw URIError
  esid: sec-encodeuri-uri
  description: Complex tests
  includes: [decimalToHexString.js]
  ---*/
  
  var errorCount = 0;
  var count = 0;
  var indexP;
  var indexO = 0;
  
  for (var index = 0xDC00; index <= 0xDFFF; index++) {
    count++;
    var hex = decimalToHexString(index);
    try {
      encodeURI(String.fromCharCode(index, 0x0041));
    } catch (e) {
      if ((e instanceof URIError) === true) continue;
    }
    if (indexO === 0) {
      indexO = index;
    } else {
      if ((index - indexP) !== 1) {
        if ((indexP - indexO) !== 0) {
          var hexP = decimalToHexString(indexP);
          var hexO = decimalToHexString(indexO);
          $ERROR('#' + hexO + '-' + hexP + ' ');
        }
        else {
          var hexP = decimalToHexString(indexP);
          $ERROR('#' + hexP + ' ');
        }
        indexO = index;
      }
    }
    indexP = index;
    errorCount++;
  }
  
  if (errorCount > 0) {
    if ((indexP - indexO) !== 0) {
      var hexP = decimalToHexString(indexP);
      var hexO = decimalToHexString(indexO);
      $ERROR('#' + hexO + '-' + hexP + ' ');
    } else {
      var hexP = decimalToHexString(indexP);
      $ERROR('#' + hexP + ' ');
    }
    $ERROR('Total error: ' + errorCount + ' bad Unicode character in ' + count + ' ');
  }
  