rem: else if (ele instanceof HTMLSpanElement || ele instanceof HTMLDivElement) 
add:  if (isHTMLInputElement(ele)) { switch (ele.type) { case "check-box": case "radio": return ele.checked;  case "hidden": case "text": case "textarea": return ele.value;  default: alert("Not sure how to setValue on a input element of type " + ele.type); return ele.value; } }  if (isHTMLElement(ele)) 
context: function getValue(id){    var ele = document.getElementById(id);    if (ele == null)    {        alert("Element id: "+id+" not found.");        return;    }    if (ele instanceof HTMLInputElement)    {        return ele.value;    }    else if (ele instanceof HTMLSpanElement || ele instanceof HTMLDivElement)    {        return ele.innerHTML;    }    else    {        alert("Not sure how to getValue from a " + ele);    }}
meta: 266	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/266/ad09b35d4f7d7842638369c34aed5985eda706b3/util.js/clean/java/uk/ltd/getahead/dwr/util.js