rem: if (items.length) 
add: if (items.item(0)) 
context: function setResolution( resolution )  {    // Given a number, if it's equal to a hard-coded resolution we use that,    // otherwise we set the userResolution field.    var screenResolution = document.getElementById( "screenResolution" );    var userResolution = document.getElementById( "userResolution" );    var items = screenResolution.getElementsByAttribute( "value", resolution );    if (items.length)      {        // If it's one of the hard-coded values, we'll select it directly         screenResolution.selectedItem = items[0];        userResolution.setAttribute( "hidden", "true" );      }       else      {        // Otherwise we need to set up the userResolution field        var dpi = screenResolution.getAttribute( "dpi" );        userResolution.setAttribute( "value", resolution );        userResolution.setAttribute( "label", dpi.replace(/\$val/, resolution) );        userResolution.removeAttribute( "hidden" );        screenResolution.selectedItem = userResolution;         }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/846feff6655c64b6730d27fc562b2473668519f4/pref-fonts.js/clean/browser/components/prefwindow/content/pref-fonts.js