print("YNEOS"[int(input().replace(".",""))