#include <bits/stdc++.h>
int m5[5];
int sad[5] = {0, 4, 3, 2, 1};
int main() {
  int n, m, i;
  long long ans = 0;
  scanf("%d %d", &n, &m);
  for (i = 1; i <= m; i++) m5[i % 5]++;
  for (i = 1; i <= n; i++) {
    ans += m5[sad[i % 5]];
  }
  printf("%I64d", ans);
  return 0;
}
