text: load("fcfbc86708bc3a4062c2091a062e13b6.js");
  load("6541b3270fb9a4b0727a6347f747112c.js");
  /* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
  /*
   * Any copyright is dedicated to the Public Domain.
   * http://creativecommons.org/licenses/publicdomain/
   * Contributor: Robert Sayre
   */
  
  //-----------------------------------------------------------------------------
  var BUGNUMBER = 459293;
  var summary = 'Allow redeclaration of JSON';
  var actual = '';
  var expect = '';
  
    printBugNumber(BUGNUMBER);
    printStatus (summary);
   
    try
    {
      eval('var JSON = "foo";');
    }
    catch(ex)
    {
      actual = ex + '';
    }
    reportCompare(expect, actual, summary);
  