print('YNeos'[input().find('575')==-1::2])