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