#include <stdio.h>
#include <string.h>

int main()
{
	int  i,j,n,m,lon[100],ren[100],k,temp;
	long count=0;
	scanf("%d%d",&n,&m);

	for(i=0;i<n;i++) 
		scanf("%d",&lon[i]);
	for(i=0;i<m;i++)
		scanf("%d",&ren[i]);

	for(i=0;i<m;i++) {
		k=i;temp=ren[i];
		for(j=i+1;j<m;j++) {
			if(temp>ren[j]) {
				temp=ren[j];
				k=j;
			}
		}
			ren[k]=ren[i];
			ren[i]=temp;
	}
	for(i=0;i<n;i++) {
		k=i;temp=lon[i];
		for(j=i+1;j<n;j++) {
			if(temp<lon[j]) {
				temp=lon[j];
				k=j;
			}
		}

			lon[k]=lon[i];

			lon[i]=temp;
	}

	for(i=0;i<m;i++) {
		for(j=0;j<n;j++) {
			if(lon[j]>0 && lon[j]<=ren[i]) {
				count+=ren[i];
				lon[j]=0;
				break;
			}
		}

	}

	for(j=0;j<n;j++) {
		if(lon[j]!=0) {
			printf("bit is doomed!\n");
			break;
		}
	}
	if(j==n) printf("%ld\n",count);
}