context: 	readdSelectOption: function(selectObj, value, unique) {		var index = null;		var optionsHash = this.getOptionsHash(selectObj);		var possibleValues = $H(unique.possible).keys();		for (var possibleValue in unique.possible) {			if (possibleValue == value) break;			if (optionsHash[possibleValue] != undefined) index = optionsHash[possibleValue];		}				if (index == null) index = 0;		else if (index < selectObj.options.length) index++;			// recreate the <option> tag		var readdOption = document.createElement('option');		readdOption.text = unique.possible[value];		readdOption.value = value;			// add the <option> at the right position		selectObj.add(readdOption, document.all ? index : selectObj.options[index]);	},
meta: 9100	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9100/e66275acdf79f04c346d13ed2af3e69335402d79/jsfunc.inline.js/buggy/t3lib/jsfunc.inline.js