/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

//-----------------------------------------------------------------------------
var BUGNUMBER = 226078;
var summary = 'Do not Crash @ js_Interpret 3127f864';
var actual = 'No Crash';
var expect = 'No Crash';

printBugNumber(BUGNUMBER);
printStatus (summary);
 

function SetLangHead(l){
  with(p){
    for(var i=0 in x)
      if(getElementById("TxtH"+i)!=undefined)
        printStatus('huh');
  }
}
x=[0,1,2,3];
p={getElementById: function (id){printStatus(uneval(this), id); return undefined;}};
SetLangHead(1);

reportCompare(expect, actual, summary);
