#include <bits/stdc++.h>
using namespace std;
long double EPS = 1e-9;
long long cel(long long a, long long b) {
  if (a == 0) return 0;
  return ((a - 1) / b + 1);
}
long long gcd(long long a, long long b) {
  if (a < b) swap(a, b);
  return (b == 0) ? a : gcd(b, a % b);
}
long long MIN(long long a, int b) {
  long long ans;
  (a >= b) ? ans = b : ans = a;
  return ans;
}
long long MAX(long long a, int b) {
  long long ans;
  (a >= b) ? ans = a : ans = b;
  return ans;
}
long long lcm(long long a, long long b) { return (a * b) / gcd(a, b); }
long long po(long long x, long long y) {
  long long ans = 1;
  while (y) {
    if (y & 1) {
      ans = (ans * x) % 1000000007;
    }
    y >>= 1;
    x = (x * x) % 1000000007;
  }
  return ans;
}
vector<int> adj[101];
void dfs(int u, vector<int> &vis) {
  vis[u] = 1;
  for (int t : adj[u]) {
    if (vis[t]) continue;
    dfs(t, vis);
  }
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  ;
  long long n, t, x, y, m, k, d, q;
  cin >> n >> m;
  int A[n + 1][n + 1];
  vector<int> chk(n + 1, 0);
  for (int i = 0; i < n + 1; i++)
    for (int j = 0; j < n + 1; j++) A[i][j] = 0;
  for (int i = 0; i < m; i++) {
    cin >> x >> y;
    chk[x] = chk[y] = 1;
    A[x][y] = A[y][x] = 1;
    adj[x].push_back(y);
    adj[y].push_back(x);
  }
  if (n != m)
    cout << "NO";
  else {
    bool ok = true;
    vector<int> vis(n + 1, 0);
    dfs(1, vis);
    for (int i = 1; i < n + 1; i++) {
      if (!vis[i]) {
        ok = false;
        break;
      }
    }
    ok ? cout << "FHTAGN!" : cout << "NO";
  }
  return 0;
}
