#include <bits/stdc++.h>
int main() {
  int n, m, i;
  long long ans;
  scanf("%d%d", &n, &m);
  ans = 0;
  for (i = 1; i <= n; i++) ans += (m + i) / 5 - (i / 5);
  printf("%lld\n", ans);
  return 0;
}
