var ctrl = WebForm_GetElementById (id.replace(/:/g, "_")); 
var ctrl = WebForm_GetElementById (id.replace(/\$/g, "_")); 
function WebForm_GetFormFromCtrl (id){	// We need to translate the id from ASPX UniqueID to its ClientID.	var ctrl = WebForm_GetElementById (id.replace(/:/g, "_"));	while (ctrl != null) {		if (ctrl.isAspForm)			return ctrl;		ctrl = ctrl.parentNode;	}	return theForm;}
7338	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7338/2065e9c976f7fd939113ef62020bdb1c33ee90aa/webform.js/buggy/mcs/class/System.Web/resources/webform.js