add: !document.documentElement      || 
context: function isJsEnabled() {  if (typeof document.jsEnabled == 'undefined') {    // Note: ! casts to boolean implicitly.    document.jsEnabled = !(     !document.getElementsByTagName ||     !document.createElement        ||     !document.createTextNode       ||     !document.getElementById);  }  return document.jsEnabled;}
meta: 1288	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1288/e550f8416210489aedd88a73cdc3c5b614edc574/drupal.js/buggy/misc/drupal.js