#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

char*mmap();
#define rd(v) long v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}
#define wt(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);}

#define MD 1000000007

#define LIM 100000

#define A 1,2,3,5,1,4,1,5,3,2,1,7,
#define B A A A A A A A A A A
#define C B B B B B B B B B B
#define D C C C C C C C C C C
#define E D D D D D D D D D D
long dp[]={0,E};

main(){
	long*p=dp+1;
	for(long i=5;i<=10000;++i){
		long a=dp[i-1];
		for(long j=i;j<=LIM;j+=i){
			dp[j]+=a;
		}
	}
	for(long i=10001;i<=LIM/2;++i){
		long a=dp[i-1]%MD;
		for(long j=i;j<=LIM;j+=i){
			dp[j]+=a;
		}
	}
	for(long i=LIM/2+1;i<=LIM;++i){
		dp[i]+=dp[i-1]%MD;
	}
	char buf[64];
	char*rp=buf;
	read(0,rp,sizeof buf);
	rd(m);
	char*wp=buf+sizeof buf;
	wt(dp[m]%MD);
	write(1,wp,buf+sizeof buf-wp);
	_exit(0);
}