#include <bits/stdc++.h>
using namespace std;
const double PI = acos(-1.0);
int dx[] = {1, -1, 0, 0};
int dy[] = {0, 0, 1, -1};
void file() {}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long fre[1000] = {0};
  long long n, m;
  cin >> n >> m;
  for (int i = 1; i <= n; i++) {
    long long x = i;
    x %= 5;
    fre[x]++;
  }
  long long c = 0;
  for (int i = 1; i <= m; i++) {
    long long x = i;
    x %= 5;
    if (fre[(5 - x) % 5] != 0) c += fre[(5 - x) % 5];
  }
  cout << c;
}
