this.document.getElementById( idstr ).className = ''; 
function enableOption( optionID, attributeID ){     idstr = attributeID + "_" + optionID;     if( DisabledOptions[idstr] > 1 )     {          DisabledOptions[idstr]--;     }     else     {          if ( this.document.getElementById( idstr ) != null )         {             this.document.getElementById( idstr ).disabled = false;             DisabledOptions[idstr] = 0;         }     }}
8051	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8051/3a69c0bcb30f399a92dddf70a2ead50ea70f109b/ezmultioption.js/buggy/design/standard/javascript/ezmultioption/ezmultioption.js