import java.util.HashSet;
import java.util.Scanner;

public class prog {

	private static HashSet<String> numbers;
	
	public static void addDigit(String s) {
		numbers = new HashSet<String>();
		for(int index = 0; index <= s.length(); index++) {
			String prefix = s.substring(0,index);
			String suffix = s.substring(index, s.length());
			for(int i = 0; i <= 9; i++) {
				String phNr = prefix + Integer.toString(i) + suffix;
				numbers.add(phNr);
			}
		}
	}
	
	public static void main(String[] args) {
		Scanner in = new Scanner(System.in);
		String digits = in.next();
		digits = digits.replaceFirst("07", "");
		addDigit(digits);
		System.out.println(numbers.size());
		in.close();
	}

}