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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/70cdc123b5f899339092594af782cd4002c55b4c/XMLTermCommands.js/clean/extensions/xmlterm/ui/content/XMLTermCommands.js