context: function FillInTooltip ( tipElement ){  var retVal = false;  var textNode = document.getElementById("TOOLTIP_tooltipText");  if ( textNode ) {    try {        var tipText = tipElement.getAttribute("tooltiptext");      if ( tipText != "" ) {        textNode.setAttribute('value', tipText);        retVal = true;      }    }    catch (e) { }  }    return retVal;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/910b9ea5006fff5af4d16b76be841a0594578c74/globalOverlay.js/clean/xpfe/global/resources/content/globalOverlay.js