function disable (txt) {	if (txt.id == 'dis1') {		input = FetchElement("dis2");	}	else {		input = FetchElement("dis1");	}		if (txt.value != '') {		input.disabled="disabled";	}	else {		input.disabled="";	}    	return;}
9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9569/75bae9c0e880a1f7e6141c84275e481abbcdea0b/admin.js/buggy/viscacha08/admin/html/admin.js