options.currvalues = {strict:     '', werror:     '', atline:     '', 
options.currvalues = {strict:     '', werror:     '', atline:     '', 
function optionsInit() {  // hash containing the set options  options.currvalues = {strict:     '',                         werror:     '',                         atline:     '',                         xml:        '',                        relimit:    '',                         anonfunfux: ''  }  // record initial values to support resetting  // options to their initial values   options.initvalues  = {};  // record values in a stack to support pushing  // and popping options  options.stackvalues = [];  options.preferences = new Preferences('javascript.options.');  for (var optionName in options.currvalues)  {    if (!options.preferences.getPref(optionName))    {      delete options.currvalues[optionName];    }    else    {      options.initvalues[optionName] = '';    }  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/browser.js/buggy/js/tests/browser.js