import sequtils
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    let k = getchar_unlocked()
    if k < '0': break
    result = 10 * result + k.ord - '0'.ord

let n = scan()
let k = scan()
var F = newSeq[int](n+1)
for i in 2..n: # .float.sqrt.int
  if F[i] > 0: continue
  for j in countup(i*2,n,i): F[j] += 1
  F[i] = 1
echo F.filterIt(it == k).len