The National Day holiday begins on September 30th and ends on October 6th. How many days are there for the National Day holiday?
国庆放假从9月30日开始，10月6日结束，国庆节放了多少天假．
<gadget id="calculator">1 + 6</gadget>
<output>7</output>

<result>7</result>