Степан Джобсов очень дорожит репутацией своей компании и всячески старается повышать уровень доверия клиентов. Поэтому каждый год компания участвует в различных конкурсах. Если всё проходит успешно, то компания получает сертификат качества.

За 25 лет накопилось гигантское количество этих сертификатов и грамот. С клавиатуры вводятся 17 чисел – это года, в которые компания получала сертификат высшей степени.

Проверьте, был ли получен сертификат высшей степени в 2020 году?

Если да, то выведите на экран "ДА". Если нет, то выведите "НЕТ".

Формат входных данных

Дано 17 целых числа. Каждое с новой строки.

Формат выходных данных

"ДА" или "НЕТ".

входные данныевыходные данные1999
2000
2001
2002
2003
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
НЕТ
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2013
2014
2015
2020
ДА