int egd;
long app_RAND_load_files(char *name)	{	char *p,*n;	int last;	long tot=0;	for (;;)		{		last=0;		for (p=name; ((*p != '\0') && (*p != LIST_SEPARATOR_CHAR)); p++);		if (*p == '\0') last=1;		*p='\0';		n=name;		name=p+1;		if (*n == '\0') break;		tot+=RAND_egd(n);		tot+=RAND_load_file(n,1024L*1024L);		if (last) break;		}	if (tot > 512)		app_RAND_allow_write_file();	return(tot);	}