rem: var field = document.getElementById('InputValue'); 
add: var field = document.getElementById('inputvalue'); 
context: function SetHistoryValue() {  var field = document.getElementById('InputValue');  return SetHistory(field.value);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/2b1c62aab8993e96376110a5c9969ce828f8d72d/XMLTermCommands.js/buggy/extensions/xmlterm/ui/content/XMLTermCommands.js