if( $('edit' + '_' + prefix + '_' + element) ) { 
if( $('edit' + '_' + lastPrefix + '_' + element) ) { 
function ClearHover() {  if( lastElement != null ) {    if( $('edit' + '_' + prefix + '_' + element) ) {        Element.hide('edit' + '_' + lastPrefix + '_' + lastElement);    }    $(lastPrefix + '_' + lastElement).style.backgroundColor = lastColor;  }  lastElement = null;  lastPrefix = null;}
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/97bdbd9351f538701172fbc91fd7039eacbc36ce/tt.js/buggy/public/javascripts/tt.js