package test.demo;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Yukicoder842 {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		BufferedReader bf=new BufferedReader(new InputStreamReader(System.in));
		try {
			String str =bf.readLine();
			String[]str2=str.split(" ");
			int a=Integer.parseInt(str2[0]);
			int b=Integer.parseInt(str2[1]);
			int c=Integer.parseInt(str2[2]);
			int d=Integer.parseInt(str2[3]);
			int e=Integer.parseInt(str2[4]);
			int f=Integer.parseInt(str2[5]);
			int g=Integer.parseInt(str2[6]);
			if(a*500+b*100+c*50+d*10+e*5+f==g) {
				System.out.println("YES");
			}else {
				System.out.println("NO");
			}
			
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
		

	}

}