#!/usr/bin/env python3 n = input() print('Yes' if n.count('4') + n.count('6') > 0 else 'No')