<human>: Does "The Times stayed with Times New Roman for 40 years, but new production techniques and the format change from broadsheet to tabloid in 2004 have caused the newspaper to switch font five times since 1972." contain the correct answer to "How many years has The Times stayed with Times New Roman?"
OPTIONS:
- yes
- no
<bot>: yes