#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;

string S;
queue<string> Q;

int main() {
  cin >> S;
  Q.push("");
  for (int i = 0; i < S.size(); i++) {
    queue<string> Q2;
    while(!Q.empty()) {
      string S2 = Q.front(); Q.pop();
      Q2.push(S2 + S[i]);
      if (S[i] == 'l') Q2.push(S2 + '1');
      if (S[i] == 'o') Q2.push(S2 + '0');
      if (S[i] == 'a') Q2.push(S2 + '@');
      if (S[i] == 's') Q2.push(S2 + '$');
    }
    swap(Q, Q2);
  }
  int ans = 0;
  while (!Q.empty()) {
    string S2 = Q.front(); Q.pop();
    int ab = 0, mk = 0, num = 0;
    for (int i = 0; i < S2.size(); i++) {
      if ('a' <= S2[i] and S2[i] <= 'z') ab++;
      else if ('0' <= S2[i] and S2[i] <= '9') num++;
      else mk++;
    }
    if (ab >= 1 and mk >= 1 and num >= 1) ans++;
  }
  cout << ans << endl;
  return 0;
}