if(Debug && !TagsToTip) 
if(tt_Debug && !TagsToTip) 
function tt_HideSrcTag(sT2t){	var id, el;	// The ID passed to the found TagToTip() call identifies an HTML element	// to be converted to a tooltip, so hide that element	id = sT2t.replace(/.+'([^'.]+)'.+/, "$1");	el = tt_GetElt(id);	if(el)	{		if(Debug && !TagsToTip)			return false;		else			el.style.display = "none";	}	else		tt_Err("Invalid ID\n'" + id + "'\npassed to TagToTip()."				+ " There exists no HTML element with that ID.");	return true;}
3727	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3727/98ee928b9b1fec6d3694426a3bd0398d7002e904/wz_tooltip.js/buggy/gallery/js/wz_tooltip.js