#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(NULL);
  int n, m;
  cin >> n >> m;
  long long res = 0;
  vector<long long> a(10, 0), b(10, 0);
  for (size_t i = 1; i <= m; i++) {
    a[i % 5]++;
  }
  for (size_t i = 1; i <= n; i++) {
    b[i % 5]++;
  }
  for (int i = 0; i < 5; i++) {
    res += a[i] * b[(5 - i) % 5];
  }
  cout << res;
}
