#include<bits/stdc++.h>
using namespace std;
typedef long long int LL;
const LL N=1,M=1,MOD=1;





int main()
{//freopen("t.txt","r",stdin);
 ios::sync_with_stdio(false);
 LL a,b;
 scanf("%I64d%I64d",&a,&b);
 LL c=min(a,b);
 LL ans=1;
 for(LL i=2;i<=c;i++) 
    ans=ans*i;
 printf("%I64d\n",ans);
 return 0;
}

#include<bits/stdc++.h>
using namespace std;
typedef long long int LL;
const LL N=1,M=1,MOD=1;





int main()
{//freopen("t.txt","r",stdin);
 ios::sync_with_stdio(false);
 int n,m;
 char a[2000],b[2000];
 scanf("%d%d",&n,&m);
 scanf("%s%s",&b,&a);
 vector<int>pos;
 pos.resize(n+1);
 for(int i=0;i+n-1<m;i++)
 {
   vector<int>pon;
 	for(int j=0;j<n;j++)
 		{
 		 if(a[i+j]!=b[j])pon.push_back(j+1);
		}
	if(pon.size()<pos.size())pos=pon;
 }
 printf("%d\n",pos.size());
 for(int i=0;i<pos.size();i++)
 	{
 	 printf("%d ",pos[i]);
	 }
 printf("\n");
 return 0;
}

#include<bits/stdc++.h>
using namespace std;
typedef long long int LL;
const LL N=200005,M=15000000,MOD=1;
LL L[N],R[N],C[N];
int rt1[N],rt2[N],lc[M],rc[M],sumc[M],tot;
int n,x;
void update(int cur)
{
 sumc[cur]=2e9+10;
 if(lc[cur]!=0)sumc[cur]=min(sumc[cur],sumc[lc[cur]]);
 if(rc[cur]!=0)sumc[cur]=min(sumc[cur],sumc[rc[cur]]);
}
void insert(int cur,int val,int cost,int l,int r)
{
 if(l==r&&l==val){if(sumc[cur]==0)sumc[cur]=cost;else sumc[cur]=min(sumc[cur],cost);return ;}
 int mid=(l+r)/2;
 if(val<=mid)
 	{
 	 if(lc[cur]==0)lc[cur]=++tot;
 	 insert(lc[cur],val,cost,l,mid);
	}
	else
		{
		 if(rc[cur]==0)rc[cur]=++tot;
		 insert(rc[cur],val,cost,mid+1,r);
		}
 update(cur);
}
LL que1(int cur,int vl,int vr,int l,int r)
{
 if(cur==0||r<vl||l>vr)return 2e9+10;
 if(r<=vr&&l>=vl)return sumc[cur];
 int mid=(l+r)/2;
 LL ret=2e9+10;
 if(vl<=mid)ret=min(ret, que1(lc[cur],vl,min(mid,vr),l,mid));
 if(vr>mid) ret=min( ret,que1(rc[cur],max(vl,mid+1),vr,mid+1,r));
 return ret;
}
int main()
{//freopen("t.txt","r",stdin);
 ios::sync_with_stdio(false);
 scanf("%d%d",&n,&x);
 for(int i=1;i<=n;i++)
 {
  scanf("%I64d%I64d%I64d",&L[i],&R[i],&C[i]);
  int len=R[i]-L[i]+1;
  if(rt1[len]==0&&rt2[len]==0)rt1[len]=++tot,rt2[len]=++tot;
  insert(rt1[len],R[i],C[i],1,N);insert(rt2[len],L[i],C[i],1,N);	
 }
 LL ans=2e9+10;
 for(int i=1;i<=n;i++)
 	{
 	 int len=R[i]-L[i]+1;
 	 if(len>=x)continue;
 	 ans=min(ans,C[i]+min(que1(rt1[x-len],1,L[i]-1,1,N),que1(rt2[x-len],R[i]+1,N,1,N)));
	}
 if(ans==2e9+10)printf("-1\n");
 	else printf("%I64d\n",ans);
 return 0;
}